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 - 14 Dec 2001
