我已经为 Eclipse 安装了 SwiProlog 和 PDT，创建了新流程，查阅了我的文件，其中只有一行： male(kalle). 它变成了绿色。但是当我在控制台中运行时： male(kalle). 我得到了 ERROR: [Thread pdt_console_client_0_male] Undefined procedure: male/1 (DWIM could not correct goal) 我遗漏了什么？ ...
我正在尝试在 Mac OS X 10.4.11 上安装 prolog。 我刚刚下载了 fink，因为我认为这应该对我有帮助，并且我正在尝试获取： 软件包 swi-prolog-5.8.1-2 或者 软件包 gprolog-1.3.1-1 但我的运气不太好。 以下是我所做的事情： % fink install swi-prolog-5.8.1-2 Information about 1723 packages read in 0 seconds. Failed: no package found for specification 'sw...
刚刚安装gnu 序言在 Mac OS X 10.4 上，但它不起作用。当我去： % ./gprolog Bus error 有人有主意吗？ ...
我正在使用 lstlisting 显示一些 ProLog 代码，在此代码中我需要在另一个后面添加 5 个破折号：-----，但它们一直组合成一行，这不是我想要的。 我尝试使用\lstinline和\verb，但似乎这些在 lstlisting 中是不允许的，-{}-{}-{}-{}-{}也不起作用因为它{}也只会显示。 在 lstlisting 中执行此操作的正确方法是什么？ 我目前有这样的东西： \documentclass[11pt,a4paper]{report} \usepackage[a4paper,left=3.5cm, right=2...