将 aleph 与 SWI-prolog 一起使用:source_sink `library(aleph)' 不存在 [英] Using aleph with SWI-prolog: source_sink `library(aleph)' does not exist

问题描述

我正在尝试使用 SWI-Prolog 导入 Aleph.当我运行我的程序时，我收到以下错误.导入 library(aleph) 需要做什么?顺便说一句，我已经为我的程序下载了 aleph.pl.这是我的测试程序，我知道库 aleph 一定有问题.

I’m trying to import Aleph with SWI-Prolog. When I run my program I get the error below. What do I have to do to import library(aleph)? By the way, I have already downloaded aleph.pl for my program. Here is my test program, I know there must be something wrong with the library 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)

推荐答案

你应该使用安装程序:

?- pack_install(aleph).

% Contacting server at http://www.swi-prolog.org/pack/query ... ok
Install aleph@5 from GIT at https://github.com/friguzzi/aleph.git Y/n? 
% Cloning into '/home/carlo/lib/swipl/pack/aleph'...
% Contacting server at http://www.swi-prolog.org/pack/query ... ok
% "aleph.git" was downloaded 6 times
Package:                aleph
Title:                  Aleph Inductive Logic Prorgramming system
Installed version:      5
Author:                 Fabrizio Riguzzi <[e-mail]>
Activate pack "aleph" Y/n? 
true.

?- use_module(library(aleph)).
true.

这篇关于将 aleph 与 SWI-prolog 一起使用:source_sink `library(aleph)' 不存在的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！