我正在尝试使用 SWI-Prolog 导入 Aleph。当我运行我的程序时,我收到以下错误。我需要做什么才能导入library(aleph)
?顺便说一句,我已经aleph.pl
为我的程序下载了。这是我的测试程序,我知道库 aleph 一定有问题。
:- use_module(library(aleph)).
:- aleph.
我得到了错误:
ERROR: c:/users/mac/desktop/swi-prolog/aleph draft/1.pl:1:
source_sink `library(aleph)' does not exist
Warning: c:/users/mac/desktop/swi-prolog/aleph draft/1.pl:1:
Goal (directive) failed: user:use_module(library(aleph))
ERROR: c:/users/mac/desktop/swi-prolog/aleph draft/1.pl:2:
catch/3: Undefined procedure: aleph/0
Warning: c:/users/mac/desktop/swi-prolog/aleph draft/1.pl:2:
Goal (directive) failed: user:aleph
Welcome to SWI-Prolog (threaded, 32 bits, version 7.6.4)