从swi prolog外壳程序中，我可以使用load_files（filename）加载prolog文件。
但是，如果我从序言文件中调用load_files无效。
我是新人。
我试图以.pl结尾文件，或者将文件名放在“”或“之间”。
以下内容无效：
file1.pl的内容： 狗（a）。 狗（b）。
file2.pl的内容： 狗（c）。 load_files（file1）。
如果现在从prolog外壳中执行load_files（file2），则不会加载狗a和b。
如果执行此操作，则会显示以下错误： ？-load_files（file2）。 是的。
？-狗（M）。 错误：顶级：未定义的过程：狗/ 1（DWIM无法纠正目标）
答案 0 :(得分：0)
您应该使用include()谓词来加载文件的内容。因此，在file2.pl中，您将：
dog(c).
:- include("file1.pl").
file2.pl的内容将在dog(c).之后加载