我正在尝试使用一个知识库， activityIndicator.stopAnimating()
activityIndicator.removeFromSuperview()
，其中主要的“事实”使用另外两个文件作为输入，并写入第三个文件作为输出mainFile.pl。
如何在SWI-Prolog中处理此问题？
我先使用(inFile1, inFile2, outFile)，然后使用consult('mainfile.pl')，但这只会导致文件永久运行，而实际上并未执行任何操作。我认为我犯的错误是我没有将其他三个文件添加到知识库的范围内，但是我不确定如何执行此操作。