我想知道是否有任何方法可以在prolog中动态存储谓词，然后调用它
在Prolog中，可以使用assert和retract谓词来动态存储和调用谓词。
- assert谓词：用于将一个谓词动态地添加到Prolog的数据库中。它的语法为：assert(Predicate)。其中，Predicate是要添加的谓词。
- retract谓词：用于从Prolog的数据库中移除一个谓词。它的语法为：retract(Predicate)。其中，Predicate是要移除的谓词。
下面是一个示例：
% 定义一个动态谓词
:- dynamic likes/2.
% 添加谓词到数据库
assert(likes(john, pizza)).
assert(likes(mary, ice_cream)).
% 查询谓词
likes(john, X). % 返回 pizza
likes(mary, X). % 返回 ice_cream
% 移除谓词
retract(likes(john, pizza)).
likes(john, X). % 返回 false在上面的示例中，我们首先使用dynamic指令声明了一个动态谓词likes/2。然后使用assert谓词将likes(john, pizza)和likes(mary, ice_cream)添加到数据库中。接着，我们可以通过查询likes谓词来获取相应的结果。最后，使用retract谓词移除了likes(john, pizza)。
对于Prolog中动态存储谓词的应用场景，它可以用于动态地更新和维护知识库，以适应不断变化的需求。例如，在一个专家系统中，可以根据用户的输入动态地添加和移除规则，以实现灵活的推理和决策过程。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云云服务器（CVM）：https://cloud.tencent.com/product/cvm
- 腾讯云数据库（TencentDB）：https://cloud.tencent.com/product/cdb
- 腾讯云人工智能（AI）：https://cloud.tencent.com/product/ai
- 腾讯云物联网（IoT）：https://cloud.tencent.com/product/iotexplorer
- 腾讯云移动开发（移动推送、移动分析等）：https://cloud.tencent.com/product/mobile
- 腾讯云存储（对象存储、文件存储等）：https://cloud.tencent.com/product/cos
- 腾讯云区块链（TBaaS）：https://cloud.tencent.com/product/tbaas
- 腾讯云元宇宙（Tencent XR）：https://cloud.tencent.com/product/xr
相关·内容
基本上不是在源代码中编写它。例如 :- store_in_db(mypred(A,B):- write(A),write(B)).这将是我的第一个电话，第二个电话是 --> mypred('Hi ','there') 并且它应该打印出来 - Hi there.
浏览 27提问于2020-07-24得票数 0
我们正在使用swi-prolog运行我们的测试用例。每当测试开始时，我就打开到MYSQL database的连接，并存储测试帽的名称，然后关闭DB。这些测试连续运行约2天。测试完成后，结果基本上存储在服务器的文件夹中。在另一个prolog文件中有一个谓词，它被调用以将结果更新到MYSQL数据库。实际问题是：
如果我试图从同一个Prolog窗口调用谓词(测试刚刚完成
浏览 0提问于2010-03-20得票数 0
在我的Linux机器上，我已经开发了一个谓词(使用SWI-Prolog)，我想从webapp调用它。最好是将谓词作为一个独立于平台的单元来交付，它可以从任何基于java的应用程序服务器(Tomcat、Wildfly、Websphere?)调用。有了JPL，就可以在Prolog和Java之间架起一座桥梁。我知道可以</em
浏览 0提问于2016-03-29得票数 2
2回答
我正在试着写一个简单的翻译脚本，但是文件变得相当...冗长且令人困惑，主要是因为我已经将所有翻译存储在文件的末尾。它们的格式是动词(英语，芬兰语)。我想知道是否有任何方法可以将它们存储在不同的文件中，所以我不需要处理它们。我已经研究过使用consult谓词，但我认为这并不完全符合我的需要。<e
浏览 3提问于2013-05-06得票数 1
回答已采纳
我是Prolog的新手，到目前为止，我已经学会了如何在文件中定义谓词，以及如何运行解释器来使用它。但是我想知道是否有一种方法可以在?-提示符处定义谓词，这样我就不必来回切换了。我现在的做法是这样的：adjacent(1,2).在p
浏览 0提问于2009-12-04得票数 6
回答已采纳
我想知道如何在Prolog中创建一个谓词，如果它的任何一个目标都是可证明的，它的计算结果就是"true“。我有这个程序：distance(X, Y, 1) :-> distance(place1, place2, 1)
我</e
浏览 0提问于2011-04-26得票数 4
我正在尝试开发一个“最简单”的prolog程序。从概念上讲，程序创建了一组存储在数据库中的事实，以便稍后查询。数据库可以按预期进行查询。true
procedure `mango' does not exist大多数教prolog的教科书都会使用谓词启动这样一个“最简单”的程序，比如：exists然后，查询将改变
浏览 1提问于2022-08-07得票数 2
回答已采纳
5回答
prolog中的哈希表
、、、
前几天，我正在用prolog解决一个难题，我意识到如果我使用另一种编程语言，我会利用哈希表/字典，但据我所知，这在prolog中是不可能的。所以我的第一个问题是，是否有任何prolog支持具有哈希表性能特征的类似字典的数据结构？其次，我突然想到，由于大多数prolog使用哈希表来存储谓词，因此我可以编
浏览 0提问于2009-08-22得票数 29
回答已采纳
Prolog和一阶逻辑的主要区别之一是对谓词中右部分的优先顺序有严格的规定。我想知道是否有任何方法可以在不放弃正常回溯行为的情况下随机化这个优先级。特别是，我正在使用SWI-Prolog，所以它也是一个很好的解决方案，只适用于那个解释器。
浏览 1提问于2017-08-15得票数 2
1回答
作为的后续，现在我想知道是否有一种方法可以直接从shell执行/计算prolog谓词/表达式，就像这样：这样的事情有可能发生吗就像在node.js中一样，你可以这样做：它将加载节点，计算表
浏览 0提问于2014-08-26得票数 0
我经常在Prolog中编写代码，这涉及到一些算术计算(或程序中重要的状态信息)，方法是首先获取存储在谓词中的值，然后重新计算值，最后使用retractall和assert存储值，因为在Prolog中，我们不能使用我逐渐认识到，在Prolog中，这不是一个好的做法。在这方面，<
浏览 4提问于2013-09-25得票数 6
在许多Prolog系统中，很容易为查询文件添加一个新的搜索路径。例如，在Yap中，我知道的谓词是add_to_path(NewPath)。有没有办法在SWI Prolog中做同样的事情？我的问题特别是关于向现有路径添加一个路径，我知道用于声明目录的file_search_ path /2谓词和用于更改当前目录的cd/1谓词，但
浏览 3提问于2011-06-14得票数 8
回答已采纳
1回答
我想知道是否有一种方法可以在SWI-Prolog中返回JSON对象，这样谓词名称就变成了键，实例化的变量就变成了值。我期望JS_out是：我不知道如何通过使用prolog_to_json&
浏览 17提问于2018-03-02得票数 3
回答已采纳
首先，我对prolog完全陌生，我试图写一个谓词长度(M，X，N)，如果M与N的区别大于X，则这是正确的。我编写了以下测试用例，如果M(=dec.5)和N(=dec.2)相差大于X(=dec.2)，则为真。在这种情况下确实如此，因为5和2的差异大于2：
?我知道prolog是递归工作的，所以我想知道我是否能够用像C这样的语言中的条件(例如<，>)来构造这样的谓词，或者在
浏览 2提问于2017-10-21得票数 2
回答已采纳
2回答
我有一个用python运行的小程序。基本上，它有一个非常简单的循环:查询一个Prolog程序，对结果做一些操作，在Prolog中更改一些状态。我已经写了一种逻辑方法(无突变)来改变Prolog中的状态。查询使用状态作为其参数，并产生一个新的状态。问题是，我将新状态存储在哪里？我可以在Prolog和Python之
浏览 0提问于2020-10-23得票数 0
2回答
考虑到在Prolog中创建数据库，使用列表显然是无效的。所以我想知道的是，是否有可能通过索引来访问元素，以及从理论上讲，如何创建一个大型数据库。我感兴趣的另一个主题是如何实现这样一个简单的任务：A 1,3,5,2,6,4和B "a"，"b"，"d"，"e"，"c"，"f“
目标是将字母绑定到数字，然后对两
浏览 0提问于2012-04-18得票数 1
回答已采纳
2回答
我有一个大学作业，我的目标是为用Turbo创建的专家系统创建一个GUI。有什么共同的方法吗？或者是否有一种方法，例如，Java应用程序可以调用Prolog应用程序并导入其结果？
浏览 5提问于2012-01-17得票数 0
1回答
在Prolog中，[H|T]是以H开头的列表，其余的元素位于list T (内部用'.'(H, '.'(…))表示)中。
是否有可能以类似的方式定义新语法？例如，是否可以定义[T~H]是以H结尾的列表，其余的元素在列表T中，然后在谓词的头和体中像[H|T]一样自由地使用它？是否</
浏览 1提问于2016-10-26得票数 3
回答已采纳
我正在编写一个程序，其中我需要查看字符串是否与特定模式匹配。现在我已经把它作为规则matchesPattern(S)用Prolog实现了，有超过20种不同的定义。最后，我通过模式检查谓词来运行所有长度为一定长度的二进制字符串。程序相当慢(就像Prolog经常的那样)，由于有这么多不同的定义，理想情况下我想对它们进行排序，以便最匹配的在排序中是最早的，因此Prolog</em
浏览 15提问于2012-06-14得票数 4
2回答
prolog是否有内置谓词，可以在运行时导入和导出完整的文件？:- include('file.pl').这种情况主要发生在代码的开头。我可以
浏览 1提问于2014-01-07得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
