Prolog中结果的形式
在Prolog中，结果的形式可以是单个解答，也可以是多个解答。Prolog是一种逻辑编程语言，它基于一阶逻辑和谓词演算。在Prolog中，我们可以通过定义事实和规则来描述问题的逻辑关系，然后通过查询来获取满足条件的解答。
单个解答的形式通常是一个变量绑定到一个特定的值。例如，如果我们查询"father(john, X)"，Prolog会尝试找到一个满足"father(john, X)"的解答。如果存在一个事实或规则"father(john, peter)"，那么X将被绑定为"peter"，并且Prolog会返回这个解答。
多个解答的形式是多个变量绑定到不同的值。例如，如果我们查询"father(john, X)"，而存在多个事实或规则满足"father(john, X)"，那么Prolog会尝试找到所有满足条件的解答。它会逐个返回这些解答，每个解答中X绑定到不同的值。
Prolog的结果形式可以根据具体的查询和知识库的内容而有所不同。在实际应用中，我们可以根据需要定义自己的谓词和规则，以适应特定的问题和查询需求。
腾讯云相关产品和产品介绍链接地址：
相关·内容
1回答
Prolog中结果的形式
prolog
L = [f(1,3),f(4,1),f(6,2),f(8,2),f(2,1)] 我的问题是关于f(1,3)的形式，我不太明白这一点。我应该怎么做，然后输出的形式在Prolog是f()。谢谢!
浏览 21提问于2021-03-27得票数 0
3回答
Prolog查找所有路径的实现
multithreading、list、recursion、prolog
我的任务是用Prolog实现findall的一个版本，除了not和cut - so基本上是纯Prolog之外，不使用任何Prolog内置的。我尝试在树中搜索所有直系后代，并以列表形式返回结果parent(b, c).parent(e, d).例如，当我进入时，我想要得到的是：X = [b, c, d]然而，我
浏览 3提问于2011-10-04得票数 6
回答已采纳
2回答
Curry中的N元函数和Prolog中的N+1元关系有什么区别吗？
functional-programming、prolog、logic-programming、curry、lambda-prolog
与它的表亲Haskell不同，它允许您为一个函数提供多个值：foo 1 2 = 4foo 1 2 3.语义上，N元Curry函数和N+1元Prolog关系有什么区别吗？
浏览 3提问于2020-12-17得票数 2
回答已采纳
2回答
GNUProlog仅为查询返回其中一个值
prolog
“时，得到的结果是X= dana，而不是X== david。然而，在我之前的上，回复我的人似乎得到了父母双方的支持。这是gprolog的局限性，还是我仍然做错了什么？
浏览 2提问于2011-12-07得票数 1
回答已采纳
1回答
Prolog SLD-树生成器
prolog、sld-resolution
我的任务是编写一个工具，为给定的Prolog程序和查询可视化SLD。因此，由于我不希望自己实现一个完整的Prolog解析器和解释器，所以我正在寻找一个库或程序来为我生成该树，所以我只需要完成可视化部分。最好的情况是一个C++库，但是任何通用语言的东西都可以(或者程序输出树作为xml文档，或者任何类似的东西)，到目前为止我什么都找不到，所以我把我的希望寄托在你们身上。
向尤扎库问好
浏览 1提问于2015-04-26得票数 2
1回答
Haskell中的函数类型
haskell
Haskell中的类型问题。我试着从Prolog转到Haskel。我必须从字符串表示中计算算术表达式。我已经在Haskel上写了递归算法，它与Prolog程序相匹配。因为Haskel要求列表中的所有元素必须是一种类型，不可能像Prolog那样混合使用符号和数字，所以我使用字符串类型来表示算术表达式。为了执行计算，必须将数字的符号表示形式转换为Integer类型，但将结果类型推断为float。每个操作的</em
浏览 1提问于2015-12-21得票数 0
1回答
对BNF文法和Prolog的DCG文法的几点质疑
parsing、prolog、grammar、bnf、dcg
我正在学习Prolog中的文法，我对从经典的BNF文法到Prolog DCG文法形式的转换有一点怀疑。例如，我有以下BNF语法： ::= a baabbaaaabbbb.....
a^n b^n 在IvanBratko的书《人工智能的编程》中，他以这种方式将BNF语法转换为DCG语法： s -->
浏览 61提问于2013-05-14得票数 2
回答已采纳
1回答
使用将prolog code+C代码编译为二进制
prolog、swi-prolog
我有一个问题，我在网上找不到准确的答案。但有一件事我很困惑。在生成的二进制文件中，Prolog Interpreter (虚拟机或其他)是否仍然存在？如果是这样的话，那么原始的Prolog代码可能存储在ELF二进制文件的.rodata部分中，但是在本节中搜索之后，我没有找到代码。但也许原来的代码已经转换成bytec
浏览 1提问于2014-06-13得票数 4
回答已采纳
1回答
Prolog - ODBC接口
stored-procedures、odbc、prolog、visual-prolog
我有一个需求，比如将大量数据从visual prolog端插入到oracle数据库中，而且最重要的是，所有数据都需要通过一个存储过程调用注入。我尝试过将数据作为字符串值进行传递，但在visual prolog中有一个限制，比如字符串变量的长度不能超过'250‘个字符。因此，将它们作为字符串传递对于我的要求是不可行的。因此，我尝试使用term_str()以prolog list的形式传递数据。但不幸的
浏览 2提问于2012-03-08得票数 1
5回答
Prolog的时间复杂度比天真的蛮力好吗？
c、prolog、scheme
在(最好的) Prolog中解决任何问题的时间复杂性是否比简单的蛮力回溯实现要好？编辑:所谓“解决任何问题”，我指的是所有Prolog程序。“问题中的问题”：我想知道语言设计:与部分延续相比
浏览 11提问于2015-12-23得票数 4
回答已采纳
1回答
如何在prolog文件中查找短语
prolog、swi-prolog、dcg
我正在尝试使用Prolog在一个文件中找到短语，如果找到了，只需重新设置为真。问题是我不知道如何使用这个短语_from_file/2。我做了一些类似的东西。
浏览 3提问于2018-04-01得票数 1
1回答
我是prolog的新手，我正在尝试解决这个问题
prolog、logic
如何使用Prolog谓词is_repeated(X)定义一个列表，使任何包含重复元素的列表的结果都是true。
浏览 0提问于2016-12-22得票数 0
1回答
prolog不能包含外部文件？
prolog、swi-prolog
假设我有一个包含以下内容的文件main.pl[externalFile].*/
注意：consult(externalFile).只在consult(externalFile).处于main.pl中时才没有作用。否则，consult(externalFile).在终端会话中确实成功地导入了文件。那么，我如何编写源代码而不需要复制整个程序并将其粘贴到终端(或者让我所有的程序源代码都有一个15+的<
浏览 0提问于2017-09-19得票数 3
回答已采纳
3回答
Prolog如何得到像3< 2这样的无意义的结果？
prolog、unification、occurs-check
我正在读一篇论文，上面写着：
不幸的是，在付费墙的后面。我还是想看看这样的例子。从直觉上看，这就像是省略了发生的检查，只是扩大了结构的宇宙范围，包括圆形的</e
浏览 3提问于2020-12-13得票数 4
回答已采纳
1回答
如何在prolog中进行算术表达式求值？
prolog、arithmetic-expressions、clpfd
我正在尝试用prolog (implementation - eclipse prolog)解决一个算术表达式。要求解的算术表达式如下所示：X是要计算的值，所有其他值(A、B、C、D、E)都是数字。将输入到Prolog中的查询(目标)将采用以下形式：'Result‘和'X’的
浏览 2提问于2012-02-09得票数 1
回答已采纳
1回答
在Prolog中定义材料条件
prolog、logic
我一直试图适应Prolog和霍恩条款，但从形式逻辑的转变仍然让人感到尴尬和被迫。我知道以标准的形式拥有一切都有好处，但是：
另外，霍恩条款的非明显优势究竟是什么？
浏览 3提问于2012-11-26得票数 7
回答已采纳
1回答
Prolog -谓词中的否定
prolog
我是一个prolog编程任务，我不能用prolog形式表示以下谓词。我不能在列表格式中编写谓词的否定部分。该列表的形式如下。member([batman,soccer,gotham,tikcet,bill],Listname)感谢任何人<em
浏览 1提问于2013-04-25得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频活动推荐
腾讯云开发者
