Prolog知识查询
Prolog是一种逻辑编程语言，它基于一阶逻辑和谓词演算。它的主要特点是通过逻辑推理来解决问题，而不是通过传统的算法和控制流程。以下是对Prolog知识查询的完善和全面的答案：
概念：
Prolog是一种基于逻辑的编程语言，它使用谓词逻辑来表示和推理关于事实和规则的知识。它的名字来自于“Programming in Logic”的缩写。Prolog程序由一系列的事实和规则组成，通过查询这些事实和规则来获得答案。
分类：
Prolog属于逻辑编程语言的范畴，与传统的命令式编程语言（如C++、Java）和函数式编程语言（如Haskell、Lisp）有所不同。它的主要特点是使用逻辑推理来解决问题，而不是通过算法和控制流程。
优势：
- 声明式编程：Prolog是一种声明式编程语言，程序员只需要描述问题的逻辑关系，而不需要关注具体的计算步骤。这使得程序更加简洁和易于理解。
- 自动推理：Prolog使用逻辑推理来解决问题，它可以自动地推导出答案。这使得Prolog在人工智能和专家系统领域有着广泛的应用。
- 与数据库的集成：Prolog可以与数据库进行无缝集成，通过查询数据库中的事实和规则来获取答案。这使得Prolog在数据库查询和数据分析方面非常强大。
应用场景：
Prolog在以下领域有着广泛的应用：
- 人工智能：Prolog被广泛应用于专家系统、自然语言处理、机器学习等人工智能领域。它可以通过逻辑推理来解决复杂的问题。
- 数据库查询：Prolog可以与数据库进行无缝集成，通过查询数据库中的事实和规则来获取答案。它可以用于复杂的数据库查询和数据分析。
- 自然语言处理：Prolog可以用于处理自然语言，例如语法分析、语义分析等。它可以通过逻辑推理来理解和生成自然语言。
- 专家系统：Prolog可以用于构建专家系统，通过推理和规则匹配来解决专业领域的问题。它可以模拟人类专家的思维过程。
腾讯云相关产品：
腾讯云提供了一系列与云计算相关的产品和服务，以下是一些与Prolog相关的推荐产品：
- 云服务器（CVM）：腾讯云的云服务器提供了高性能的计算资源，可以用于部署和运行Prolog程序。
- 云数据库MySQL版（CDB）：腾讯云的云数据库MySQL版可以与Prolog进行无缝集成，用于存储和查询Prolog程序中的事实和规则。
- 人工智能平台（AI Lab）：腾讯云的人工智能平台提供了丰富的人工智能工具和服务，可以用于开发和部署基于Prolog的人工智能应用。
产品介绍链接地址：
- 云服务器（CVM）：https://cloud.tencent.com/product/cvm
- 云数据库MySQL版（CDB）：https://cloud.tencent.com/product/cdb
- 人工智能平台（AI Lab）：https://cloud.tencent.com/product/ailab
请注意，以上答案仅供参考，具体的产品选择和使用应根据实际需求和情况进行评估。
相关·内容
1回答
我将我的知识库定义为：
edge(mammal,isa,animal).
edge(human,isa,mammal).
edge(simba,isa,human).
edge(animal,swim,bybirth).
edge(human,swim,mustlearn).
path(X,Y) :- edge(X,isa,Y).
path(X,Y) :- edge(X,isa,Z), path(Z,Y).
swim(X,Y) :- edge(X,swim,Y).
swim(X,Y) :- path(X,Z), swim(Z,Y).
现在，为了使用上面的知识库，我使用了以下内容：
?-
浏览 2提问于2017-10-18得票数 1
2回答
我正在学习PROLOG，我很难理解为什么我执行的查询会以“yes/no”结尾。这是我的知识库：
male(albert).
male(bob).
male(bill).
male(carl).
male(charlie).
male(dan).
male(edward).
female(alice).
female(betsy).
female(diana).
parent(albert, bob).
parent(albert, betsy).
parent(albert, bill).
parent(alice, bob).
parent(alice, betsy).
parent(
浏览 7提问于2018-04-15得票数 7
2回答
我在编写要添加以下事实的知识库时遇到了问题：
蜘蛛不是哺乳动物
spider(X):- \+ (mammal(X)).
但是，当我查询(mammal(X))时，它会给出错误吗？
有没有关于如何写的帮助？？
浏览 1提问于2015-01-05得票数 1
1回答
我想列出知识库中的所有考试(A，B)：
exam([a, 26]).
exam([b, 30]).
exam([c, 20]).
exam([d, 19]).
我知道我可以简单地使用：
exams(L) :- findall(X, exam(X), L).
但是，由于我想写我自己的角色，我写了如下：
exams([exam([A,B])]) :- exam([A,B]).
exams([exam([A,B])|Ex]) :- \+(member(exam([A,B]),Ex)), exams(Ex).
为什么有这样的查询?-考试(X)。该系统的答复如下：
?- exams(X).
X = [e
浏览 3提问于2014-08-31得票数 1
5回答
我正在尝试用Prolog解决一个使用否定的简单查询，但我无法破解它。查询是“查找从未售出的类别”。
知识库如下：
category(stationery, 30, 200, 10, 2).
category(books, 10, 30, 3, 2).
category(consumables, 50, 300, 15, 3).
item(pen, stationery, 10, 150).
item(colgate_small, consumables, 20, 65).
item(colgate_medium, consumables, 45, 70).
item(colgate_big,
浏览 3提问于2011-03-29得票数 5
1回答
什么样的技术适合创建一个允许用户添加事实、编辑事实和查询这些信息的网页？我已经在Prolog中建立了一个知识库和推理规则，但是我希望在网上能够访问事实部分和查询。更具体地说，我正在寻找以下功能：
一个网络界面，终端用户可以添加和编辑事实，例如“吸烟导致癌症的概率为0.02”。这最好是可以访问的，并且不涉及编写Prolog或其他代码(例如，从三个列表中选择一个主题、关系和对象)。在这里，最好有一些功能来查看知识库中是否已经存在一些概念(例如，如果用户要输入关于癌症的事实，而且知识库中已经存在癌症概念，则应该显示这一点，最好也显示相关概念)。也许一些下拉菜单或列表可以实现这一点。
用于管理
浏览 0提问于2019-04-12得票数 3
如果我有一个人的知识库和他们的生日，比如：
birthYear( adam , 2000 ).
birthYear( bob , 2001 ).
birthYear( john , 2002 ).
如何创建一个查询，在不修改知识库的情况下，详尽地搜索知识库，找到最年轻的人？
浏览 6提问于2022-09-22得票数 1
1回答
下面是一个非常简单的Prolog知识库：
spouse(bill,cheryl).
married(X,Y) :- spouse(X,Y).
married(X,Y) :- spouse(Y,X).
我运行了以下查询。请注意，有时答案是正确的名称(仅)，但有时答案是正确的名称和"false“。
1 ?- married(bill,X).
X = cheryl ;
false.
2 ?- married(cheryl,X).
X = bill.
3 ?- married(X,bill).
X = cheryl.
4 ?- married(X,cheryl).
X = bill ;
浏览 2提问于2014-01-28得票数 0
2回答
我的SWI-Prolog知识库包含以下两个事实：
f(a,b).
f(a,c).
现在，如果我提出查询
?- f(a,c).
true.
但
?- f(a,b).
true ;
false.
为什么f(a，b)既是真又是假？当知识库中有三个事实时，也会发生这种情况。如果我加上f(a，d)。对于KB，则f(a，d)是真(仅)，但f(a，b)和f(a，c)都是真和假。到底是怎么回事?我能做些什么才能使Prolog (只)对这些查询作出正确的回答？
浏览 1提问于2010-07-24得票数 31
1回答
我对Prolog的基本知识感到困惑。
如果我有这个知识库：
loves(vincent, mia).
loves(marcellus, mia).
loves(pumpkin, honey_bunny).
loves(honey_bunny, pumpkin).
jealous(X, Y) :-
loves(X, Z),
loves(Y, Z).
那我就假设
"X爱Z，Y爱Z，X嫉妒Y“
当我运行查询jealous(X, Y).时
我得到了
X = Y, Y = vincent
X = vincent,
Y = marcellus
X = marcellus,
Y =
浏览 3提问于2021-03-08得票数 2
回答已采纳
1回答
下面是一个Prolog教程，它要求定义对称关系。
例如，假设您在知识库中有以下事实：
colleague(john,bob).
你也希望同事(鲍勃，约翰)是真实的，对所有同事的事实也是如此。
本教程说要使用以下规则..。
colleague(X,Y) :- colleague(Y,X).
但是当我使用以下查询时会出现问题.
| ? - colleague(john,X).
X = bob ? ;
X = bob ? ;
X = bob ? ;
X = bob ? ;
...
| ? - colleague(bob,X).
X = john ? ;
X = john ? ;
X = john
浏览 1提问于2015-10-02得票数 4
回答已采纳
2回答
给定以下知识库：
car(X) :- ferrari(X).
car(X) :- bmw(X).
car(X) :- ford(X).
ferrari(f).
ferrari(y).
bmw(b).
ford(a).
为什么这两个(看似相同的)规则在我查询它们时会产生完全不同的结果？
-- Rule one (returns all the cards except ford
loves(lana,X) :- \+ ford(X), car(X).
-- Rule two (returns nothing, just fails)
loves(lana,X) :- car(X), \+ f
浏览 0提问于2019-01-10得票数 0
我试图在Prolog中提出一个查询，在这个查询中，我询问是否有一个值位于x^2=25。但是，如果在知识库中，只有x^2为25的情况下，我才希望它返回yes。
我的知识库里有这样的信息：
squared(5,25)
squared((-5),25)
我希望程序返回no，因为x有两个答案，其中有x^2=25，而我只想要一个。
到目前为止我有这样的想法：
squared(x,25),squared(x,25), x=x.
浏览 1提问于2021-09-25得票数 1
回答已采纳
2回答
我预先道歉，因为我怀疑这是一个基本的prolog问题。我有下面的知识库来定义一个家族树
male(james1).
male(james2).
male(charles1).
male(charles2).
male(george1).
female(catherine).
female(elizabeth).
female(sophia).
parent(charles1, james1).
parent(elizabeth, james1).
parent(charles2, charles1).
parent(catherine, charles1).
parent(james2,
浏览 1提问于2021-09-27得票数 0
4回答
我想知道您是否知道如何使用prolog进行流处理，即某种反应式编程，或者至少让查询在不断更新的知识库上运行(实际上是流)，并不断输出推理的输出？
在流行的“prolog”中实现的任何东西，比如SWI？
浏览 8提问于2013-10-16得票数 8
回答已采纳
1回答
我有这样一种情况，我在阅读三种不同类型的句子。它们将采用以下形式之一：
_ is a _
A _ is a _
Is _ a _?
我需要能够识别输入了哪种类型的句子，然后添加到或查询我的知识库。
例如，用户可以输入：
Fido is a dog.
然后，我会将该事实添加到我的知识库中。然后，用户可以输入：
Is Fido a dog?
程序会回答“是”。到目前为止，我认识到事实的唯一想法是在空格上拆分句子，并将它们存储在列表中。然后检查关键字在列表中出现的位置。这不是最好的解决方案，因为它假设"_“字符始终是一个单词。
有人有更好的解决方案吗？
浏览 0提问于2015-03-08得票数 1
1回答
我正在开发一个知识系统，当用户输入菜肴时，该系统可以返回葡萄酒。我的想法是根据用户的输入将点添加到每个葡萄酒类，然后显示适合的葡萄酒类的前3个。例如，如果有人输入fish，那么知识库中的所有红酒都得0分，而白酒得1分。如果用户随后输入一种调味汁或蔬菜等。与此匹配的葡萄酒将获得额外的加分。这将产生一个列表，根据点数显示哪些葡萄酒(在我的知识库中)最适合，哪些最差。有没有人知道我怎么用prolog来做这件事。
浏览 12提问于2020-06-18得票数 2
回答已采纳
1回答
我得到了以下知识库，它应该添加两个参数并给出结果：
add(0,X,X).
add(succ(X),Y,succ(R)):- add(X,Y,R).
下面是我的查询：
?- add(succ(succ(succ(0))), succ(succ(0)), Result).
0与第一个参数不统一，因此它将转到第二个add/3子句。现在有件事我搞不懂。这本书(LPN)告诉我，最外面的succ因素扼杀了第一个论点，但我不知道为什么？在我看来，它增加了一个succ函子。有人能解释一下它为什么要把它剥掉吗？
提前感谢！
卢克
浏览 2提问于2016-11-28得票数 0
回答已采纳
我有一个问题在prolog中。这是知识库。
loves(vincent,mia).
loves(marcellus,mia).
loves(pumpkin,honey_bunny).
loves(honey_bunny,pumpkin).
jealous(X,Y) :-
loves(X,Z),
loves(Y,Z).
这是出自"“一书。现在，如果我查询?- jealous(marcellus,W).，它会返回那个W = vincent，但是如果我给查询?- jealous(vincent,W).，返回的结果是W=vincent，这意味着文森特嫉妒他自己，但是马塞勒斯不嫉妒
浏览 0提问于2012-10-06得票数 1
回答已采纳
1回答
我需要一些帮助，以找到规则和/或查询的知识库在Prolog与信息的客户在超市。
例如，我有：
Customer(Name,Age,Sex,Wage).
customer(John,30,M,2000).
customer(Mary,35,F,2500).
customer(Mark,40,M,2500).
invoice(Number, CostumerName, Product, Price).
invoice(001, John, Potatoes, 20).
invoice(002, John, Tomatoes, 10).
invoice(003, Mary, Soap, 50)
浏览 2提问于2015-06-15得票数 2
回答已采纳
我目前正在努力理解prolog的基础知识。
我有这样一个知识库：p(a). p(X) :- p(X).，如果我输入查询p(b)，与事实的统一失败，规则p(X) :- p(X)被使用，导致与事实的统一再次失败。为什么这个规则会在那之后一遍又一遍地被应用呢？prolog不能在这一点上返回false吗？经过一段时间后，我得到了“超过时限”的信息。我不太清楚为什么prolog会一次又一次地使用这个规则，但既然是这样，我就不明白为什么我会收到如下所示的错误消息。我明白，"p(X)如果p(X)“是一条不合理的规则，但我想知道那里到底发生了什么。
如果我有这样的知识库：p(X) :- p(X). p
浏览 1提问于2018-04-21得票数 2
回答已采纳
我正在尝试创建一个谓词，可以从一组男女中列出每对可能的夫妻。但我的试炼使我回归真实，即使男人或女人不属于我的知识基础。
man(al).
man(john).
woman(elsa).
woman(julia).
couple(man(_),woman(_)).
查询：
?- couple(X,Y).
答案：
X: al
Y: elsa
X: al
Y: julia
X: john
Y: elsa
...
注意:我正在使用。
浏览 3提问于2015-02-21得票数 1
回答已采纳
在我的Prolog程序中，我有一个谓词reg/1，它表示如果某事是一个正则表达式。我想让程序将正则表达式序列识别为正则表达式。因此，如果reg(a_1)、reg(a_2)、.、reg(a_n)都是正则表达式，则Prolog应该对查询reg(a_1, a_2, ..., a_n)回答yes/true。但我不知道该怎么做。
我所做的是：
reg([H|T]) :- reg(H), reg(T).
reg([X]) :- reg(X).
例如，如果reg(a)、reg(b)、reg(c)都在知识库中，那么Prolog回答是/真的查询reg([a, b])或reg([b, a, c])，但我不能问它类
浏览 0提问于2014-11-16得票数 1
回答已采纳
知识库： child(martha,charlotte).
child(charlotte,caroline).
child(caroline,laura).
child(laura,rose).
descend(X,Y) :- child(X,Y).
descend(X,Y) :- child(X,Z),
descend(Z,Y). 查询：descend(martha, laura). Prolog首先调用child(martha，laura)，该调用失败，然后返回descend(martha，laura)。 现在，它需要调用child(martha，Z
浏览 15提问于2021-09-10得票数 4
2回答
如果我在数据库中有一个简单的谓词，有没有一种方法可以请求以特定的顺序(asc/desc)返回结果，而不必将它们全部读取到内存中并执行排序/2或设置/3？
例如，考虑这个数据库：
animal(dog).
animal(cat).
animal(elephant).
animal(bird).
animal(aardvark).
我想以某种方式在第一个术语中将animal声明为排序ASC，这样我就可以像这样简单地查询它：
?- animal(X).
X = aardvark ;
X = bird ;
X = cat ;
X = dog ;
X = elephant ;
No.
能够做到这一点将非
浏览 0提问于2012-09-05得票数 1
回答已采纳
1回答
需要帮助！！
我正在设计一个知识库，根据3个参数(温度，湿度，湿润；每个参数有3个类别，高，中，低)来识别(桑树或草莓)，但我不知道哪里出了问题。这里的想法是使用训练集作为知识库来识别新的测试集，以输出桑树或草莓。代码如下：
% Training set (facts)
mulberry(high, high, low).
mulberry(high, high, high).
mulberry(high, medium, low).
mulberry(medium, high, high).
mulberry(medium, medium, low).
mulberry(M_temp, M
浏览 0提问于2020-11-07得票数 0
1回答
我刚刚开始试着教自己Prolog，在七周内使用两种语言，现在学习Prolog！我遇到了一些令人困惑的事情。在SLSW的第一天，它介绍了以下知识库：
cat(lion).
cat(tiger).
dorothy(X,Y,Z):- X = lion, Y = tiger, Z = bear.
twin_cats(X,Y):- cat(X), cat(Y).
当使用twin_cats(X,Y).查询时，它为两只猫提供了所有的可能性，包括X = lion, Y = lion和X = tiger, Y = tiger。我试图在twin_cats(X,Y)规则中添加一个目标，以便它只报告两种不同的猫。一
浏览 0提问于2014-12-06得票数 0
回答已采纳
2回答
我有以下知识库
team_name(1, conneticut).
team_name(2, duke).
team_name(3, memphis).
team_name(4, villanova).
team_name(5,gonzaga).
win_lose(1,22,2).
win_lose(2,24,1).
win_lose(3,23,2).
win_lose(4,20,2).
win_lose(5,21,3).
zone(west,5).
zone(south,3).
zone(east,1).
zone(east,2).
zone(east,4).
我想写一个查询，允许拥有最
浏览 1提问于2013-02-28得票数 0
知识库的格式如下： input([[m, 0.88],
[h, 0.92],
[l, 0.96],
[m, 1.00],
[v, 0.55],
[v, 0.61],
[v, 0.96]]). 我想知道5和7的数字大于0.8的元素4和6的字母是什么。 我尝试运行以下查询： input(_,_,_,[X,_],[_,S],[Y,_],[_,Z]),S>0.8, Z>0.8. 我得到了错误 procedure input(A,B,C,D,E,F,G)' does not exist 我该如何解
浏览 7提问于2021-05-08得票数 0
1回答
我有以下知识基础：
numeral(0).
numeral(s(X)) :- numeral(X).
numeral(X+Y) :- numeral(X), numeral(Y).
add(0,X,X).
add(s(X),Y,s(Z)) :- add(X,Y,Z).
add2(W+X,Y+Z,R) :- add(W,X,A),add(Y,Z,T),add2(A,T,R).
add2(X+Y,Z,R) :- add(X,Y,A),add2(A,Z,R).
add2(X,Y+Z,R) :- add(Y,Z,A),add2(X,A,R).
add2(X,Y,R) :- add(X,Y,R).
浏览 4提问于2017-11-06得票数 1
回答已采纳
完整的prolog初学者在这里。
假设我有一个prolog知识库，其中包含食物和价格，例如：
food(banana,99).
等。
我正在尝试编写一个谓词，如果知识库中有两个或多个具有相同价格的项目，则该谓词将返回true。我遇到的问题是，我编写的查询：
multiple(X) :- food( _ ,X), food( _ ,X).
如果数据库中只有一个价格为X的项目，我将返回true。我了解问题所在(它两次查找同一项并返回true)，但我不知道如何编写一个查询，该查询将从食物中找到两个或多个唯一的项。
我试着写了一条“独特”的规则，如下所示：
multiple(X) :- food(Y,
浏览 4提问于2012-02-29得票数 0
回答已采纳
我有一个csv文件example.csv，其中包含有头var1和var2的两列。
我想用重复的事实填充一个最初空的Prolog知识库文件import.pl，同时对每一行example.csv进行相同的处理：
fact(A1, A2).
fact(B1, B2).
fact(C1, C2).
我如何在中编写这个代码呢？
编辑，基于@Shevliaskovic的答案
:- use_module(library(csv)).
import:-
csv_read_file('example.csv', Data, [functor(fact), separator(0
浏览 3提问于2014-06-07得票数 5
回答已采纳
1回答
我在为机器人系统写知识库。该系统实际上由两部分组成: KB中的规则和传感器读数生成的一组谓词。
例如，可能的规则：
do(stop) :- obstacleDist(N), N<1.
do(shoot(E)) :- canSee(E), enemy(E).
感测系统产生的谓词如下：
canSee(plane).
obstacleDist(3.5).
工作流包括查询传感器生成的谓词，查询规则引擎，然后查询该做什么。(es。do(X))
问题是，如果(例如) canSee谓词不是由传感器生成的，则prolog在查看规则do(射击(E))时会抱怨未定义的过程。
一个可能的解决方法是生成一个基本
浏览 5提问于2014-11-10得票数 1
回答已采纳
据我所知，连接比分离更重要。
我们有以下知识库：
a(1).
a(2,3).
a(3,2).
a(4,5,3).
b.
b(1,2).
b(3).
c.
我们的目标是：
?- a(X,Y);b(Z),c,fail,d.
所以问题是:我的老师说目标被分成四个子目标，通过连词连接起来：
(a(X,Y);b(Z)),
c,
fail,
d.
在执行这个查询时，我不应该得到任何结果。但是连词有更大的优先权，对吧？目标不应该被分成两个子目标(而不是四个)，通过分离来连接：
a(X,Y);
b(Z),c,fail,d.
所以现在我想知道谁对谁错。有人能解释一下吗？
**当我执行查询时，实际上正在得到结果。
浏览 0提问于2015-03-15得票数 4
回答已采纳
我正在使用以下知识库：
house_elf(dobby).
witch(hermione).
witch('McGonagall').
witch(rita_skeeter).
magic(X):-house_elf(X).
magic(X):-wizard(X).
magic(X):-witch(X).
这个练习是这样说的:满足了以下哪些查询？在相关的地方，给出所有导致成功的变量实例化。这是我回答问题的方式：
1.?-magic(house_elf). answer no
2.?-wizard(harry). answer no
3.?-magic(wizard
浏览 2提问于2013-12-19得票数 0
1回答
知识表示：
student('John','f214','A').
student('John','f222','B').
student('John','f213','C').
student('John','f343','D').
subject(f214,3).
subject(f222,3).
subject(f213,3).
subject(f343,3).
从Prolog SWI中给定的知识
浏览 0提问于2013-11-25得票数 0
我是Prolog的乞丐，在这个练习中我需要一些帮助，这是提供的知识库：
album(‘R. Stevie Moore’, ‘Manuscription’).
album(‘Lane Steinberg’, ‘Manuscription’).
album(‘R. Stevie Moore’, ‘The Yung & Moore Show’).
album(‘Yukio Yung’, ‘The Yung & Moore Show’).
album(‘Jessie Evans’, ‘Autonervous’).
album(‘Bettina Koster’, ‘
浏览 4提问于2014-03-17得票数 0
回答已采纳
我试图在Prolog中了解更多关于DCGs的知识，在阅读不同的来源时，我注意到在某些情况下没有使用短语？
从网站上可以看到以下示例：
s --> np,vp.
np --> det,n.
vp --> v,np.
vp --> v.
det --> [the].
det --> [a].
n --> [woman].
n --> [man].
v --> [shoots].
然后，他们使用查询s(X,[])生成语法中的所有句子。我试过phrase(s,L)，它还生成语法描述的所有句子。
浏览 0提问于2015-12-03得票数 5
回答已采纳
2回答
对于我的程序，知识库具有原子语句和规则，例如
store(itemName, ProductType)
例如:商店(iPhone5，电话)
manufacturer(itemName, Company)
例如:制造商(iPhone5，苹果)
查询是为了找出是否有一家公司生产了超过两种不同的产品类型，因此对于苹果来说，应该有Macbook、iPad和iPhone
下面是我们的查询：
?- store(ItemID1, ProductType1), manufacturer(ItemID1, Company), store(ItemID2, ProductType2), manufactu
浏览 0提问于2013-09-24得票数 1
我正在尝试创建一个简单的知识库。然而，我正在努力让分类系统正常工作。
以下是到目前为止的程序：
subset(tomatoes, fruits).
subset(fruits, food).
subset(X, Z) :- subset(X, Y), subset(Y, Z), not(X==Y), not(Y==Z), not(X==Z).
member(X, Z) :- member(X, Y), subset(Y, Z).
member(t1, tomatoes).
查询：
member(t1,tomatoes).
ERROR: Out of local stack
Excepti
浏览 1提问于2011-10-21得票数 3
回答已采纳
我想知道如何建立一个谓词，将从某个查询中获得的所有结果
例如，如果我写
?- seek(a, L).
想把所有这些结果都列在一张清单上
L = [sheet, rule]
拥有以下知识库：
item([sheet,3,4],[[a,1,4],[b,4,3],[c,1,7]]).
item([pen,5,4],[[f,1,4],[t,2,3],[g,4,4],[b,4,3]]).
item([rule,1,8],[[c,1,4],[a,2,3]]).
谢谢
浏览 5提问于2013-10-19得票数 1
回答已采纳
2回答
我的知识库里有这样的东西：
number(1).
number(3).
number(6).
number(8).
number(9).
number(12).
现在，我需要一个谓词来评估知识库中有多少个数字，例如：
countnumbers(X).
X = 6.
我该怎么做呢？求求你，我是prolog新手，我搞不懂这个
浏览 3提问于2011-12-14得票数 4
回答已采纳
1回答
我想使用语音命令来搜索我的prolog知识库，我使用pyswip，它是有效的，但我必须为每个可能的查询写一个if语句，我有一个超过100行的巨大知识库，如果我这样做，我将不得不写超过100个if语句。我想知道的是有没有更好的方法。例如，我可以编写一个语音激活的函数，它只是放置要搜索的查询，并说明搜索返回的内容
我的意思是，如果我必须为所有事件编写这段代码，那么使用pyswip就没有意义了：
if "son" in commands:
test12 = list(prolog.query("father(michael, B)"))
print(t
浏览 2提问于2021-09-26得票数 0
1回答
我正在试着教自己一些Prolog，这样我就可以确定它是否适合解决我遇到的问题。本质上，问题是，给定一系列关于项目之间交互的规则，确定哪些项目可用、不可用、被选中和未被选中。
但即使是最简单的部分我也失败了！我极大地减少了问题的规模，只是为了看看我能做些什么。下面是我的知识库：
selected(A) :- implied(A).
implied(B) :- implies(A,B),selected(A).
implied(option_one).
implies(option_one,option_two).
当我查询的时候：
selected(X).
我只能拿回option_two。
这
浏览 7提问于2011-02-17得票数 1
回答已采纳
3回答
我正在实现一个Prolog解释器，我想包含一些内置的数学函数(和、积等)。例如，我希望能够使用这样的知识库进行计算：
NetForce(F) :- Mass(M), Acceleration(A), Product(M, A, F)
Mass(10) :- []
Acceration(12) :- []
因此，我应该能够进行像?NetForce(X)这样的查询。我的问题是:在我的解释器中构建这样的功能的正确方法是什么？
特别是，我遇到的问题是，为了计算Sum、Product等，必须首先计算它们的所有参数(即绑定到数值常量)。例如，虽然上面的代码应该正确地进行计算，但置换规则：
NetForce
浏览 4提问于2013-11-14得票数 1
回答已采纳
我正在尝试使用Swi-Prolog创建一个简单的知识库，但在运行查询animal(X).时遇到一个'Unknown Procedure‘错误。据我所知，它应该根据我在下面写的事实打印“鳄鱼”。我做错了什么？ species(reptile):-
scales(present),
body_temperature(cold_blooded),
reproduction(lays_eggs).
animal(alligator):-
species(reptile),
color(dark_green),
habitat(water).
浏览 56提问于2021-02-02得票数 3
1回答
我正在尝试运行用lisp实现的prolog规则。在lisp代码中，我遇到了以下问题：
我查询AG知识库中的人员，输出为字符串格式，如
"“"”
我将上面的字符串转换为Resource，如下所示
(setq p1 (资源""))
(setq p2 (资源""))
将字符串转换为资源后，输出如下所示：
!ns:Person1
!ns:Person2
我带着以上两个人(资源)，通过查询运行规则，找出它们之间的关系。请注意，p1和p2是已知的，关系是未知变量。查询转到AG知识库并找到关系
(选择-不同
(p1 ?relation p2
浏览 11提问于2015-03-12得票数 1
我尝试使用Prolog来推理约束，然后查询知识库以将这些约束传递给求解器(不能使用clpfd)。
%a first example would be constrainsquare(Row,Col,Val)
constrainsquare(1,1,3).
constrainsquare(1,2,2).
然后，我可以使用类似于bagof/3的东西来查询所有约束。这不是statisfactory，因为我也希望能够写
constrainsquare(3,4,8):-constrainsquare(3,3,7).
表示如果解决方案在位置3,3有一个7，那么它必然在位置3,4有一个8的能力。现在，您不
浏览 16提问于2017-08-17得票数 0
回答已采纳
1回答
我正在学习Prolog，我被困在知识库和基本规则如下的代码中：
rectangle(a1, 3, 5). %Name,Width,Height
rectangle(a2, 1, 2).
rectangle(a3, 4, 3).
calcWH(T,C) :-
rectangle(T,W,_), C is W. % finds the width of the rect.
递归部分是：
calcWTH([],0). % Base case
calcWTH([H | T ] ,K) :-
length([H|T],L),
L =< 3,
浏览 0提问于2017-05-25得票数 1
回答已采纳
我已经成功地将PHP与Prolog连接起来，并设法查询驻留在knowledge_base.pl文件中的所需知识库，并设法通过php exec函数回显结果。
在每次执行查询(true)之后，我在回显Prolog返回的false/值时遇到了一个问题，所以我想出了一个解决方案，我在实现这个解决方案时遇到了问题。
让我们假设我有一个简单的knowledge_base.pl文件，其中包含以下事实和规则：
girl(erin).
boy(john).
likes(erin, reading).
likes(john, reading).
hangs_out_with(erin, X) :-
l
浏览 1提问于2012-09-16得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
云直播活动推荐
腾讯云开发者
