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 (Windows version) - 6 Dec 2011