腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
CHR
:如
何在
规则
中
调用
Prolog
代码
prolog
、
constraints
、
chr
CHR
:如
何在
规则
中
调用
Prolog
代码
?我假设它就像DCG!但看起来不太对劲 :- use_module(library(
chr
)).:- [utils].:- use_module(library(
chr
)). :-
chr
_constraint move/2,pos
浏览 12
提问于2021-01-29
得票数 2
2
回答
SWI
Prolog
中
的约束处理
规则
:“约束存储”是否仅存在于toplevel目标处理的持续时间内?
prolog
、
constraint-handling-rules
一个编写
CHR
程序,包含
CHR
规则
。然后运行一个以约束存储为参数的
CHR
程序。重复应用前向链式
CHR
规则
,直到不再适用任何
规则
,将约束存储从其初始状态迭代(并且破坏性地)转换为某种最终状态。
CHR
程序(不知怎么地)被编译成
Prolog
,而"
CHR
约束“变成了"
Prolog
谓词”。“约束存储”本身就是所谓的
Prolog
toplevel目标的堆栈(未具体化)。实际
浏览 10
提问于2019-12-08
得票数 3
1
回答
tau-
prolog
不会运行我使用
CHR
库的
prolog
代码
,尽管它可以在SWI-
Prolog
上运行
javascript
、
prolog
、
constraint-handling-rules
、
tau-prolog
我正在尝试使用Tau
Prolog
来运行一个
CHR
代码
,它给出了这个错误:尽管它在SWI
Prolog
上运行良好。这是
Prolog
代码
: :-
chr
_constraint(color
浏览 23
提问于2020-05-30
得票数 1
4
回答
Prolog
规则
帮助
prolog
我是
prolog
的新手,正在尝试一些东西,特别是我在思考如
何在
Prolog
中
做一些特定的事情。我知道事实和
规则
,事实就是这类东西和
规则
:这个事实和
规则
在
浏览 1
提问于2010-02-20
得票数 1
回答已采纳
1
回答
如何使用if语句循环
loops
、
prolog
我试图理解如何使用
prolog
中
的if语句或循环,但我无法理解,因为java中有很多不同的situations.Example,如果您想说一些您可以轻松地说的话,if(x>=4) { } else if{ },.If,您想做的事情--而循环,直到(x>4).In
prolog
,有很多issues.Let me都清楚了。我看到一个练习,告诉我们有一个有数字的list1,我们有list2,我的意思是,doubles(List1,List2).What,我应该做的是创建一个新的list2,在这个list2
中
,List
浏览 0
提问于2018-06-24
得票数 0
回答已采纳
1
回答
在C程序中集成
Prolog
c++
、
c
、
prolog
、
ffi
、
swi-prolog
我想用C++编写一个主程序,该程序会动态生成facts 来建立知识库,然后程序可以
调用
定义在.pl文件
中
的
规则
并得到结果。我在C接口上阅读了swi手册,但是只知道如
何在
Prolog
中
调用
C模块或在C
中
调用
Prolog
,我不知道如何混合C和
Prolog
中
定义的谓词。有可能吗?谢谢。
浏览 2
提问于2015-01-20
得票数 1
1
回答
简单and()
规则
的SWI
Prolog
中
的
CHR
行为
prolog
、
constraint-handling-rules
我使用
CHR
库在SWI-
Prolog
中
尝试了一个简单的程序。我一开始只有一条
规则
。
CHR
: (0) Insert: and(_73048,_73416,_73052) # <357>
CHR
: (1) Redo: and(_73048,_73416,_73052) # <
浏览 10
提问于2019-08-08
得票数 0
回答已采纳
1
回答
是否有可能在
prolog
中
证明嵌套
规则
?
prolog
、
artificial-intelligence
我试图在另一个
规则
中
调用
一条
规则
,我的
代码
是对爷爷处以罚款,就像:male(john).parent(jack,john).grandpa(X,mark). 它只返回,没有,当我试图跟踪
调用
时,我注意到它甚至没有
调用
嵌套
规则
。那么,在
prolog
中有什么方法可以做到吗?
浏览 2
提问于2021-01-12
得票数 0
2
回答
Prolog
术语: id(X,X)。事实还是
规则
?
prolog
、
terminology
、
iso-prolog
在
Prolog
中
,这无疑是一个事实:这无疑是一条
规则
:但是,如果一个子句同时具有非单例变量和no :-,
如
一条
规则
也是如此: 定义可变逻辑关系的子句,即不会总是成功的子句。
浏览 1
提问于2020-02-15
得票数 3
回答已采纳
1
回答
Prolog
,是否可以使用变量来
调用
子句?
prolog
我在
Prolog
中有以下问题。我有规矩boo(L).bar(X),提前谢谢。
浏览 2
提问于2019-10-24
得票数 0
回答已采纳
1
回答
Prolog
中
的失败否定与逻辑单调性?
prolog
、
logic
我在学习
prolog
。将新的这样的
规则
添加到
prolog
程序
中
只会增加“积极”的知识。被称为“失败的否定”的过程(非逻辑)结构是添加“否定”事实以打破纯逻辑
prolog
(
如
规则
的例外)的单调性所需的黑客。。一条评论要求举一个例子。如果没有程序上的割裂,就没有办法用纯粹的逻辑
prolog
来定义玛丽
浏览 2
提问于2022-11-10
得票数 3
回答已采纳
2
回答
如
何在
Clingo中使用否定来选择最大值
answer-set-programming
、
clingo
在
prolog
中
,我们可以使用否定来选择元组
中
的最大值,
如
: p( X),not (p(Y),Y>X)。%在
Prolog
中
工作,但不在Clingo
中
工作 如何使用Clingo表达式来获得相似的
规则
(如果没有大于A的数字,则A是最大值)。谢谢。
浏览 4
提问于2020-05-01
得票数 0
1
回答
prolog
不是人工智能工具吗?
prolog
、
artificial-intelligence
我在
prolog
中
设计了一个基于
规则
的引擎,它基本上是一套关于如
何在
纸牌游戏中打败真正的人类的
规则
。每次我在算法中发现一个工作日,这导致我的主题之一利用并获得优势;我进去并为下一个版本修正
规则
。与我在
prolog
中所做的相同,在下面500行
代码
中
,可以在C++或C#
中
完成(不容易)大约10,000行,包括大量嵌套的if-否则和修复逻辑问题将是一场噩梦。
prolog
不是人工智能工具吗?我见过人们在<e
浏览 5
提问于2013-09-16
得票数 6
回答已采纳
1
回答
Python:是否有一种方法可以使swipl查询的值为true而不是{}?
python
、
prolog
、
boolean
、
rules
要在python
中
调用
prolog
程序,需要使用libary pyswip。 ?-爸爸(A)。是真的。如果我在python
中
尝试使用相同的方法:from pyswip import
Prolog
prolog</e
浏览 7
提问于2021-12-19
得票数 0
回答已采纳
6
回答
Prolog
web编程
prolog
、
rule-engine
在工作
中
,有人讨论过使用
prolog
作为web应用程序上的
规则
引擎的后端。是否有其他语言的
prolog
库允许
调用
prolog
模块?
浏览 2
提问于2010-09-25
得票数 17
1
回答
prolog
数据文件上的多用户web应用程序
prolog
、
swi-prolog
现在,我添加了一些需要
Prolog
作为推理引擎的功能。我的问题是关于方法,如何处理事实和
规则
数据。我认为从MySQL数据在每个web请求
Prolog
文件上创建一个参考服务器上新创建的文件并不是一个好的选择。在添加了一些事实或
规则
之后,
Prolog
数据应该以某种方式持久化在服务器和
Prolog
引擎更新
中
。以前有人遇到过这种情况吗?实现这种功能的正确方法是什么?因此,请了解如
何在
多用户web应用程序
中
持久化
Prolog
数
浏览 0
提问于2019-09-01
得票数 2
回答已采纳
1
回答
NeuPro语言?
artificial-intelligence
、
neural-network
该语言的名称是"NeuPro“-它将用于神经网络的工作,其语法似乎与
prolog
非常相似。无论如何,如果有人能提供一些参考资料,我会很高兴。
浏览 0
提问于2009-10-02
得票数 3
回答已采纳
1
回答
如何计算
Prolog
SWI或
CHR
Prolog
SWI
中
的回溯量?
prolog
、
backtracking
、
swi-prolog
、
constraint-handling-rules
我用
CHR
(约束处理
规则
)在
Prolog
SWI
中
创建了几个解谜器 一切都很好,但是,我喜欢测试哪个求解者是最好的。因此,我喜欢找出,哪个求解者使用最少的回溯量。
浏览 3
提问于2014-05-30
得票数 4
1
回答
如
何在
询问
prolog
时
调用
prolog
规则
?
prolog
在上面的
代码
中
,如果在编译缓冲区后询问
Prolog
这个问题给了我打个招呼的次数.现在,如果我以下列方式修改
代码
在编译缓冲区之后(尽管我得到了一个单例变量警告),如果我问
Prolog
numberofhello.
浏览 5
提问于2014-02-25
得票数 0
回答已采纳
1
回答
Prolog
格式的
CHR
解决方案输出
prolog
、
swi-prolog
、
constraint-handling-rules
我正在用SWI-
Prolog
运行一个教科书上的
CHR
程序。:-
chr
_constraint fib/2.
浏览 7
提问于2019-08-05
得票数 2
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
ArcGIS标注和注记,分式标注
Python入门学习篇(7)-内置函数
盘点:2020年5种流行的 AI 编程语言,就业高薪不是梦!
5种开发人工智能的最佳编程语言
快速、准确地在工作表中插入图片,VBA带你完善数据图片资料
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券