prolog 相关问题

Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。

如何使用Prolog CLP FD进行路径限制?

我正试图通过Prolog CLP FD使用限制编程来解决提出的难题。这个难题包含下一个简单的规则:现在,在我的代码中,我已经涵盖了限制......

回答 2 投票 3

PROLOG - 条件函数

如何列出列出男女学生注册课程名称的列表。代码:/ *学生(姓名,学生,年龄,性别)* /学生(braum,1234,22,男性)。学生(勒克斯,7839,26,女)。 ...

回答 1 投票 0

PROLOG通过条件获得名称

我坚持使用条件或查询来获得学生的姓名,其年龄必须超过“25”,教师必须是“jdoe”。我想要一个带2个参数的条件(年龄,老师)。如: ?-...

回答 1 投票 0

Prolog递归方法

所以我正在编写一个包含规则waywest(X,Y)的数据库。 waywest占据了一条街道上的2座建筑物,并在建筑物X以西不同的地方返回建筑物Y. ...

回答 1 投票 0

语法错误:。或表达式1错误编译失败后预期的运算符

域名列表=整数*;谓词member12(名单,名单,名单);条款成员12([],L,L)。 member12([X | L1],L2,[X | L3]): - member12(L1,L2,L3)。

回答 1 投票 -2

检查元素后返回列表的Prolog谓词

我是prolog的新手。我正在尝试编写一个接受元素和列表的谓词,并检查列表中元素的出现并返回元素后面的其余列表。 ...

回答 2 投票 1

Prolog试图制作固定大小的空列表

我正试图用这些维度在prolog中创建一个列表:[[[_,_,_,_,_,_,_,_,_],[_,_,_,_,_,_,_ ,_,_]],[[_,_,_,_,_,_,_,_,_],[_,_,_,_,_,_,_,_,_]],[ [_,_,_,_,_,_,_,_,_],[_,_,_,_,_,_,_,_,_]],[[_,_,_,_ ...

回答 1 投票 0

如何从ACE生成arff文件

我正在使用ACE数据挖掘包https://dtai.cs.kuleuven.be/ACE/doc/ACEuser-1.2.16.pdf,它使用归纳逻辑编程。我正在使用WARMR来查找频繁的查询。在手册中......

回答 1 投票 0

误区链/ 2?

如果我有(加载clpfd):test1(Ps): - 置换(Ps,[(a,1,1),(b,2,2),(c,3,1),(d,4,2) )]),Ps = [(L1,W1,X1),(L2,W2,X2),(L3,W3,Y1),(L4,W4,Y2)],链([W1,W2,W3,W4] ]#

回答 1 投票 1

使用启发式值贪婪搜索prolog

我有一个图表和一个启发式表,列表连接和节点值以及成本(启发式表)。图:启发式表:它们在prolog中表示如下。 S(A,B,2)。 S(A,C ,...

回答 1 投票 0

Pyswip错误:系统无法找到指定的注册表项或值

我想在我的项目中使用pyswip。我试图通过Pycharm安装pyswip。它可以成功安装。操作系统:Windows 10 64位IDE:Pycharm 2018.3.2语言:Python 3.7 Pyswip版本:0.2.7 ...

回答 1 投票 0

对于length / 2,如何添加人类可读的变量名称

如何为系统生成的变量名显示人类可读的变量名?举个简单的例子:? - 长度(Ls,N)。 Ls = [],N = 0; Ls = [_ 5112],N = 1; Ls = [_ 5112,_5118],N = 2; Ls = ......

回答 3 投票 2

流模式中的参数数量错误

所以我创建了这个简单的AI代码,我想在我的代码中添加一个简单的乘法数学,所以它就像这样做了域名bonus =整数谓词crew_db(字符串,整数,字符串) - nondeterm(o,o,o)...

回答 1 投票 1

为什么有些DCG测试用例使用断言(Rest == [])?

这个答案使用断言(Rest == [])? pharse / 3是短语(:DCGBody,?List,?Rest)因为短语/ 2等同于短语(DCGBody,InputList,[])。这只是Rest = []而在测试用例中......

回答 1 投票 0

如何使用append / 3以递归方式在prolog中构建列表?

我需要得到一些事实的价值观。那部分似乎有效。 fact1(A,_,Val1,_,_),fact2(_,B,Val2,_,_),A = B,但是一旦我尝试将这些值[(Val1,Val2)]附加到List (...

回答 1 投票 2

检查孩子是否在Prolog中至少有3个父母

我试图解决一个问题,你会得到一个事实列表,如:parent(a,b)。其中b是a的父级,我需要编写一个子句来确定某人是否至少有3个父母。 ...

回答 2 投票 2

在Python中实现Prolog统一算法?回溯

我正在尝试实施统一,但遇到问题......已经有很多例子,但他们所做的只是浑水。我比开明更困惑:http://www.cs.trincoll.edu/~ram / ...

回答 3 投票 7

什么是Prolog中的 - >运算符,我该如何使用它?

我已经在一本书中读到了它,但根本没有解释。我也从未在程序中看到它。是Prolog语法的一部分吗?这是为了什么?你用它吗?

回答 3 投票 9

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