prolog - 读取文件并在序言中构造事实

Question

我想构建一种机制，根据 txt 文件构建不同的事实，在序言中导入。我已经找到了一些示例，它们直接断言从文件中读取的行，但我必须在断言发生之前转换数据。

举个例子:

man = {m1, m2}.

m1: w1 > w2.

应理解为:

man(m1).
man(m2).
prefer(m1, w1, 1).
prefer(m1, w2, 2).

是否可以根据输入的符号来构造这些事实？

Answer 1

是的——你需要做你会用任何其他语言做的事情。

打开并读取文件，解析内容，并将其转换为您随后可以断言的术语。

幸运的是，您在序言中，因此“解析内容”是该语言的早餐任务。

事实证明，我一直在编写有关如何完成这项确切任务的教程。还没有完全完成，但在线

http://www.pathwayslms.com/swipltuts/dcg/

如果您的文件较大，请使用教程中描述的方法读取它们。否则，只需将文件放入“代码”样式的字符串中，然后继续生活。