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.
LispWorks KnowledgeWorks and Prolog User Guide - 15 Jul 2003