Prolog 语义和继承

Question

我有两个问题正在处理，我只是很难理解这个问题。第一个是

创建一个 Prolog 谓词 flatten_append/3，它有 3 个参数，都是列表。第三个列表应该等价于第一个列表的扁平化版本和第二个列表的扁平化版本的串联。例如，flatten append([1,2,[3,4,5],[6]],[[7],[8,[9]]],X) 应该成功将 X 绑定到列表 [1, 2,3,4,5,6,7,8,9]。使用内置谓词 append/3 和 flatten/2。

创建谓词是否意味着我创建了一个新文件，然后我参考它来运行？同样对于三个参数是这样的thing([], [X], X) 还是只有一个，我需要这样的三个参数？

thing([],[X],X).

thing([H|T],[H|X],Y) :- H = 1, anything(Y,Z), thing(T,X,Z).

thing([H|T],[H|X],Y) :- H = 0, nothing(Y,Z), thing(T,X,Z).

最后说成功绑定X是什么意思？是否有特定的订单，或者最后你分配的 X 等于你刚做的？谢谢

Answer 1

创建谓词是否意味着我创建了一个新文件，然后我会查阅 跑？

它实际上意味着“向 Prolog 数据库添加谓词”，以便可以从 REPL（Read-Eval-Print Loop，传统上称为“Prolog 顶层”）运行。但是，是的，这是通过在 REPL 中创建一个文件 my_predicate.pl 然后键入 consult(my_predicate). 或 [my_predicate]. （同样，make. 在更改后重新加载它）来完成的。注意末尾的“点”以终止命令。

对于三个参数就是这样的东西([], [X], X)

没错。这是谓词thing/3，它以某种方式关联这三个参数。它是如何做到的X 和 Y 给定 `Z) 取决于实现。

您给出的thing/3 的实现由3 个子句组成。 1 是“事实”（只有头部），2 是“规则”（有头部和身体）。

成功绑定X是什么意思？

表示计算成功计算出一个值，使X等于它并成功返回。如flatten append([1,2,[3,4,5],[6]],[[7],8,[9]]],X) "succeeds" 和返回 X "is" （包含/绑定到）扁平列表。 X 的行为类似于对全局变量的引用。

花点时间阅读简介：http://www.learnprolognow.org/ 并在 https://swish.swi-prolog.org/ 中锻炼自己