3.2.6 Edinburgh Prolog Translator

Edinburgh syntax Prolog files may be compiled and loaded if they are given
.pl
as a file extension. These are completely compatible with the KnowledgeWorks backward chaining rules. For more details refer to Edinburgh Syntax.