swi-prolog 相关问题

SWI-Prolog是Prolog的开源实现,可在Unix,Windows和Mac上运行。

SWI Prolog foreach / 2

考虑?-length(L,4),foreach(成员(M,L),(length(M,4)))。 L = [_28602,_28608,_28614,_28620]。 vs?-length(L,4),foreach(介于(1,4,I),call({L} / [I] >>(nth1(I,L,M),length(M,4)),一世))。 L = ...

回答 1 投票 1

有办法解决这个错误吗?架构x86_64的未定义符号:(gnu-prolog)

我的程序在swi prolog上运行良好,但是当我尝试使用gnu-prolog运行它时。它无法成功运行。我收到这个错误,我不知道如何解决。这是我的第一个错误gprolog [...

回答 1 投票 0

谓词在列表中有三份?

我正在写一个谓词,如果一个列表包含一个元素的3个副本,则打印true并打印该元素。谓词还应打印替代解决方案(如果存在)。 ...

回答 1 投票 2

是否可以声明清单?

我想问一下是否可以断言列表而不是单数术语?例如,我尝试了以下方法:assert(user_chosen_fruits([葡萄,苹果,桃子]))。但是,当我...

回答 1 投票 1

Prolog前身数学

我有一个add2谓词,其解析如下,其中s(0)是0的后继,即1?-add2(s(0)+ s(s(0)),s(s(0)),Z) 。 Z = s(s(s(s(s(s(0)))))α-add2(0,s(0)+ s(s(0)),Z)。 Z = s(s(s(s(0)))?-add2(...

回答 1 投票 0

如何增加SWI终端内存?

执行一个(或多个)向标准输出写入过多的查询后,无法读取“最旧”的行。那就是-过一会儿,向上滚动不会显示超过一点的线。有没有办法...

回答 1 投票 0

(SWI-PL)我不知道如何创建一个序言规则来匹配这种特定类型的输入

所以我有一个家庭作业,在其中给出了以下代码:numeric(0)。数字(succ(X)):-数字(X)。数字(X + Y):-数字(X),数字(Y)。加(0,X,X)。添加(succ(X),Y,succ(Z)):-添加(X,Y,Z)。 ...

回答 1 投票 1

用于解决逻辑网格难题的字符串比较帮助

我是Prolog语言的初学者,并解决了我定义的年龄(五岁)的逻辑难题。年龄(六岁)。年龄(十)。我想编写prolog代码,例如,定义age(five) ] >>

回答 1 投票 0


如何在不使用Prolog中任何内置函数的情况下递归打印列表?

我是Prolog的新手。我了解Prolog中的基本递归,例如append,member。我想知道如何在不使用Prolog中内置函数的情况下递归打印列表。任何人都可以...

回答 1 投票 0

我如何在序言中创建和使用字典?

我有一个序言列表[['A1','I'],['A1','EU'],['A2','EU']],我想将其转换成这样的字典一个{'EU':['A1','A2'],'I':['A1']}我如何创建序言...

回答 2 投票 1

SWI Prolog更改工作目录/获取当前工作目录?

在SWI Prolog终端中,如何查看当前工作目录并更改当前工作目录?我发现:working_directory(CWD,CWD),但我不认为这是我需要的

回答 3 投票 10

在SWI-Prolog中,有一种简单的方法可以使用REPL将数字从一个基数转换为另一个基数?

在使用REPL的SWI-Prolog中,您可以轻松地从任何基数转换为10的底数,例如α-X= 16′FF。 X =255。?-X = 2'11111111。 X =255。但这失败。 (没想到它会起作用,但是显示...

回答 2 投票 1

row_arity / 1抛出错误,csv_read_file / 3,在SWI-Prolog的

我想读一个CSV文件导入Prolog的知识基础。下面是代码: - use_module(库(CSV))。 : - my_csv_read( '../ UserWeightings / userWeighting_dummy_25Oct2018.csv')。 my_csv_read(F): - ...

回答 2 投票 0

把SWI-Prolog的的JPL接口工作

我想用JPL创建一个图形界面到我的项目,所以我去搜查一个代码示例开始工作,我下载的代码,但是当我运行它,它会显示以下信息:...

回答 1 投票 2

具有SWI-Prolog的Docker容器因致命错误而终止

我正在开发一个Spring Boot Web应用程序,使用SWI-Prolog的JPL接口从Java调用Prolog。在开发模式中,一切运行正常。当我将它部署到Docker时,第一次调用JPL ...

回答 4 投票 3

比assoc更快的字典,但具有相同的关系/回溯功能

我正在广泛使用swi assoc库。当使用160K元素加载prolog KB时,我注意到查找并将新密钥写入assoc时需要花费大量时间。而......

回答 2 投票 3

差异yap和swi-prolog阅读规范列表

我有以下测试代码试图将文件读入打开的列表('raw250-split1.pl',读取,流),读取(流,train_xs(TrainXs)),长度(TrainXs,MaxTrain)。我将省略部分输出到期...

回答 3 投票 5

如何在pyswip中创建子句

[这里有人可以帮助我使用pyswip这样的数据库在python内部创建prolog子句:man(peter)。女人(adam)。男人(乔纳森)。人(保罗)。女人(衣服)。父亲(乔纳森·彼得)。父亲(pierre,...

回答 1 投票 0

Prolog中“false”和“no”之间的区别是什么?

我开始学习Prolog之后的Prolog编程:使用ISO标准。在他们提出断言的语言介绍的第7页:“在Prolog中,答案no用来表示......

回答 2 投票 5

© www.soinside.com 2019 - 2024. All rights reserved.