Warren, Pereira, Pereira, 1977. Prolog - the language and its implementation compared with Lisp 12.. https://doi.org/10.1145/872734.806939