'Prolog' in Lisp exits for decades. During the 80s several Prolog implementation had been developed for research systems and also for commercial systems. Many u

'Prolog' in Lisp exits for decades. During the 80s several Prolog implementation had been developed for research systems and also for commercial systems. Many used an s-expression syntax for Prolog, but some could also read 'Edinburgh' syntax. Most of the time these 'Prolog' implementations are not as powerful/complete like a typical modern Prolog implementation. LispWorks for example has an expert system development extension with an integrated Prolog. http://www.lispworks.com/documentation/lw70/KW-M/html/kwprolog-m.htm http://www.lispworks.com/documentation/lw70/KW-M/html/kwprol... It also offers to read Edinburgh syntax and also has a command line interface for this syntax. http://www.lispworks.com/documentation/lw70/KW-M/html/kwprolog-m-135.htm#pgfId-869241 http://www.lispworks.com/documentation/lw70/KW-M/html/kwprol... But it still is far from ISO Prolog compatible.