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.
KnowledgeWorks and Prolog User Guide (Unix version) - 29 Feb 2008