Jacques Cohen
Brandeis University, Waltham, MA
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Micro-Planner Reference Manual