如何在SWI-Prolog中使用目标

时间:2014-02-10 23:17:01

标签: prolog

在TurboProlog中我们可以使用下一个构造:

goal:
  father('Tom', X).

如何在SWI-Prolog中使用相同的内容?

2 个答案:

答案 0 :(得分:2)

如果我记得goal做了什么,我建议使用ISO-Prolog内置的initialization/1

  

加载完成此指令的源文件后调用目标。

:- initialization((father('Tom', X), writeln(X))).

我添加了获得的值的可视化 - 如果有的话。还应添加一些错误处理......

答案 1 :(得分:0)

我们如何调用2个或更多目标?

下一个代码调用错误:

:- initialization(
       (grandmother('Sarah', X), writeln(X)),
       (father('Tom', Y), writeln(Y))
    ).