prolog - 获取简单的 Prolog 示例来工作

Question

我正在尝试运行一个简单的 gprolog为了在我的 Linux 机器上运行，从 Ubuntu 软件中心安装了 GNU Prolog。

来自 GNU Prolog Intro我得到了以下示例，存储在 HelloWorld.pl .

parent(hank,ben).
parent(hank,denise).
parent(irene,ben).
parent(irene,denise).
parent(alice,carl).
parent(ben,carl).
parent(denise,frank).
parent(denise,gary).
parent(earl,frank).
parent(earl,gary).
grandparent(X,Z):-parent(X,Y),parent(Y,Z).
ancestor(X,Y):-parent(X,Y).
ancestor(X,Y):-parent(Z,Y),ancestor(X,Z).

我开始 gprolog ，输入 [HelloProlog].并得到以下错误:

| ?- [HelloProlog].
uncaught exception: error(instantiation_error,consult/1)

即使我不从文件加载代码而是以交互方式运行它，我也会收到错误消息:

uwe@z11:~/desktop$ gprolog
GNU Prolog 1.3.0
By Daniel Diaz
Copyright (C) 1999-2007 Daniel Diaz
| ?- parent(Luke,Anakin).
uncaught exception: error(existence_error(procedure,parent/2),top_level/0)
| ?- 

我的安装坏了还是我做错了什么？

Answer 1

在 Prolog 中，变量以大写字母(或下划线)开头，因此您在目标 [HelloProlog] 中遇到的实例化错误.只需改用 ['HelloProlog'] . IE。将文件路径表示为 Prolog atom，当它们以大写字母开头时需要单引号。

您得到的存在错误仅仅是由于查询未定义的谓词。您需要加载 HelloWorld.pl先存档。