腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
在
逻辑
语句
中
使用
Prolog
中
的
'not‘
prolog
我正在用
Prolog
处理一个条件,但是not运算符没有按预期工作。我在这里
的
http://www.cs.trincoll.edu/~ram/cpsc352/notes/
prolog
/factsrules.html示例中
使用
了not 我有以下声明。我想要
的
是让is_not_immune_to返回结果,但是not似乎在这里不起作用。
在
没有not
的
情况下,它可以正常工作,并返回口袋妖怪是否免疫。/
浏览 48
提问于2020-04-08
得票数 0
回答已采纳
1
回答
并发并行
逻辑
编程
concurrency
、
parallel-processing
、
prolog
、
programming-languages
、
logic-programming
在
Prolog
艺术介绍
中
,斯特林和夏皮罗将并行性、并发性和
逻辑
编程
的
讨论推迟到另一本书。我
的
问题是,是否有这样
的
资源: 并行计算机
的
前景,加上
逻辑
编程模型
中
似乎可用
的
并行性,导致了无数次尝试,这些尝试仍在进行
中
,以并行方式执行
Prolog
,并根据
逻辑
编程计算模型设计新
的
并发编程语言。然而,这是另一本书(
Prolog<
浏览 2
提问于2014-03-07
得票数 0
回答已采纳
1
回答
NeuPro语言?
artificial-intelligence
、
neural-network
我没有太多关于如何编程
的
问题,而是我正在寻找一种似乎在任何地方都找不到
的
特定编程语言
的
信息。这似乎
在
我正在看
的
几篇论文中被引用了。该语言
的
名称是"NeuPro“-它将用于神经网络
的
工作,其语法似乎与
prolog
非常相似。无论如何,如果有人能提供一些参考资料,我会很高兴。
浏览 0
提问于2009-10-02
得票数 3
回答已采纳
1
回答
如何将
prolog
规则和查询转换为一阶
逻辑
?
prolog
、
first-order-logic
我正在尝试理解如何翻译
prolog
规则brother(n,n). 到一阶
逻辑
。∀x,y(brother(x,y) -> brother(g(x), g(y))是一个正确
的
答案吗?
浏览 0
提问于2015-11-11
得票数 1
1
回答
Prolog
逻辑
演绎与翻译
prolog
、
logic
、
rule-engine
我有一组一阶
逻辑
的
真
语句
和条件
语句
,我想用
prolog
来解决这些问题。然而,我很难很好地表达我
的
事实和条件。以上是一个愚蠢
的
例子,我对
逻辑
推理很感兴趣。我对直接翻译成
prolog
很感兴趣,这样我们就可以开始演绎了。以下是我
的
尝试:/* I can't seem to find a not operator, so I'll use !*/ !Dr
浏览 4
提问于2013-08-19
得票数 1
2
回答
prolog
if else
语句
,带swish
prolog
这个
语句
是否被认为是
prolog
中
的
if else
语句
,因为我
在
prolog
if
语句
中
的
理解应该是这样
的
。( condition -> then_clause;else_clause )
使用
swish
prolog
浏览 0
提问于2020-10-21
得票数 1
1
回答
在
Prolog
中
定义材料条件
prolog
、
logic
我一直试图适应
Prolog
和霍恩条款,但从形式
逻辑
的
转变仍然让人感到尴尬和被迫。我知道以标准
的
形式拥有一切都有好处,但是: 另外,霍恩条款
的
非明显优势究竟是什么?
浏览 3
提问于2012-11-26
得票数 7
回答已采纳
2
回答
语句
间
的
Prolog
差异
prolog
不同
的
是: notmarried(P) :- male(P), \+(married(P)).
浏览 3
提问于2015-04-13
得票数 3
回答已采纳
2
回答
使用
DCG解析
Prolog
变量
prolog
、
grammar
、
dcg
、
dpll
我想在
Prolog
中
使用
DCG解析一个
逻辑
表达式。
逻辑
术语表示为列表,例如['x','&&','y']表示为x ∧ y,结果应该是解析树and(X,Y) ( X和Y是未分配
的
Prolog
变量)。但是,我能否统一地用
Prolog
变量替换这个术语
中
的
逻辑
变量呢?我知道谓词term_to_atom (它是作为
的
解决方案提出<em
浏览 4
提问于2014-11-18
得票数 6
回答已采纳
5
回答
PROLOG
初学者
prolog
对于
PROLOG
初学者,你会推荐哪本书?我目前了解Perl。
浏览 3
提问于2010-08-24
得票数 4
回答已采纳
1
回答
寻找(\=)/2
的
纯
Prolog
实现
prolog
、
negation-as-failure
否定作为失败通常被认为是不纯洁
的
。失败时否定所需
的
Prolog
解释器必须实现SLDNF,这是SLD
的
一个扩展。X \= Y :- \+ X = Y. 是否可以将(\=)/2实现为纯谓词?只
使用
纯
Prolog
,即只
使用
一阶喇叭子句?
浏览 3
提问于2020-12-18
得票数 3
回答已采纳
1
回答
如何
使用
clpfd库建立12x12矩阵
matrix
、
prolog
、
clpfd
我对约束
逻辑
编程很陌生,我想知道如何
使用
clpfd
在
prolog
中
建立一个12x12矩阵。我正在
使用
swi
prolog
ide。
浏览 0
提问于2016-04-03
得票数 1
回答已采纳
1
回答
不带dif
的
Prolog
成员资格谓词
prolog
、
logic
以下
prolog
逻辑
memberd(X, [Y| T]) :- dif(X,Y), memberd(X, T).?是否有
prolog
逻辑
可以用于生成相同
的
结果,而无需
使用
()、或dif()、函数或加载
的
prolog
库
中
的
任何内容。只是用纯粹
的
逻辑
?
浏览 1
提问于2020-04-14
得票数 0
3
回答
在
prolog
规则集中查找最多
的
事件
prolog
我似乎无法理解
Prolog
到底是如何工作
的
。我非常习惯于其他编程语言,如Java和Python,但是
Prolog
似乎非常不同,因为它是基于一组
逻辑
语句
的
。如果有人能向我解释我会如何处理这样
的
情况,我会得到一套规则,例如likes(mary,adam).likes(jack,destiny我想知道如何看谁是最受欢迎的人(在这个例子
中
,adam = 3),我会怎么做呢?
浏览 4
提问于2021-03-28
得票数 1
回答已采纳
1
回答
证明H交K是
Prolog
中
的
一个子群(H和K是子群)
prolog
、
equivalence-classes
、
finite-group-theory
现在,我感兴趣
的
是证明如果H和K是子群,那么H与K相交是一个子群。我
的
证明建立
在
构造关系(==H)
的
基础上,以便
在
程序
中
,我将hg和kg表示为H和K。H相交K为hkg。如
浏览 8
提问于2020-04-06
得票数 0
1
回答
Prolog
的
逻辑
更新视图是如何用于断言和撤回
的
?
prolog
、
iso-prolog
、
prolog-assert
有人能解释一下
Prolog
关于断言和撤回
的
逻辑
观点吗? 例如,在下面的代码
中
,
在
第一次运行
中
,
Prolog
返回true,在后续运行
中
返回false。我不知道为什么由于
Prolog
逻辑
视图(当asserta(nextBound(100))满足时),nice(X)
在
启动时仍然与值冻结,因此这个更改应该被忽略,nextbound(100)必须是假
的
。
浏览 1
提问于2015-01-23
得票数 5
回答已采纳
7
回答
与其他语言相比,
使用
Prolog
有什么好处?
prolog
一般说来,每一种正在
使用
的
语言都因其优点而被
使用
。什么样
的
一般情况/类别的问题,可以更有效地
使用
Prolog
比任何其他语言?
浏览 2
提问于2009-10-03
得票数 8
回答已采纳
1
回答
Prolog
中
的
逻辑
not()
prolog
好
的
,我们试图解决一个简单
的
Prolog
问题,我们有一个给定
的
程序f(X) :- f(X).not(a).
浏览 11
提问于2016-09-17
得票数 1
回答已采纳
1
回答
Swi-
Prolog
:没有修改静态过程
的
权限
prolog
我是个
prolog
初学者。我非常感谢对编译这个例子
的
任何帮助。我猜规则
的
形式是“后继:-先决”。to modify static_procedure `(;)/2'
Prolog
不允许“不”(否定)事
浏览 2
提问于2012-07-19
得票数 6
回答已采纳
4
回答
Prolog
中
的
逻辑
prolog
、
logic
我如何用
Prolog
来表达下面的3个句子? All summers are warm. If it not summer, then it is winter. Now it is winter.
浏览 1
提问于2012-06-07
得票数 4
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
java中的return语句使用方法
Rust中打印语句为什么使用宏
Python 中条件控制语句的使用介绍与说明
Python中的控制语句
如何使用机器人程序中的逻辑功能
热门
标签
更多标签
云服务器
ICP备案
实时音视频
对象存储
云直播
活动推荐
运营活动
广告
关闭
领券