腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
扩展
不带
参数
的
Prolog
子句
、
、
我正在写一个通过
扩展
谓词来转换其他程序
的
程序。我通常使用clause/2,来完成此操作,但如果谓词没有
参数
,它并不总是展开谓词: :- set_
prolog
_flag('double_quotes','chars'). :- initialization可以
扩展
没有
参数
的
谓词吗?
浏览 16
提问于2020-02-03
得票数 2
1
回答
用forall/2
扩展
Prolog
子句
、
、
我使用来转换编译器中
的
一些
Prolog
子句
。我需要用它
的
正文来替换每个
子句
的
头,但是clause/2有时并不像它最初编写
的
那样
扩展
这个
子句
。在这里,clause/2将demo(A,B)
扩展
为\+ (call(A),\+call(B)),而不是
扩展
其原始定义::- initialization
浏览 2
提问于2020-02-05
得票数 1
回答已采纳
1
回答
Erlang index
子句
的
标题是什么?
、
、
我有
Prolog
背景。
Prolog
通常在谓词
的
第一个
参数
上建立索引(大多数像样
的
系统允许你改变这一点,在多个
参数
上建立索引,等等)。无论如何,了解引擎索引
子句
的
方式可以让您安排
参数
和谓词以获得更好
的
性能。谢谢。
浏览 1
提问于2011-02-07
得票数 5
3
回答
扩展
到CFG,是什么?
、
、
、
、
考虑以下对上下文无关语法
的
扩展
,该
扩展
允许规则在非终端
的
右侧有一个(或多个)终端。即形式规则:右手边可能是任何东西,就像上下文无关
的
语法。特别是,这是,而不是的要求,右手边将有完全相同
的
终端符号在末尾。在这种情况下,这个
扩展
将是上下文敏感
的
。但终端并不仅仅是一个上下文。有时,这个终端被称为“回放”。 显然,这不再是CFG (类型-2)。在
Prolog
中的确定性
子句
语法中允许这种特殊<em
浏览 6
提问于2012-08-22
得票数 6
回答已采纳
1
回答
如何在
Prolog
中从文件中定义/加载所有
子句
、
我正在使用SWI
Prolog
,我很惊讶地发现在
Prolog
中没有明显
的
方法可以做到这一点。我想要
的
是类似于
子句
/2
的
东西,但允许未实例化
的
第一个
参数
(并且特定于给定文件中
的
子句
,即我不想要整个
Prolog
库!)。下面是我用来查找所有
子句
的
内容 current_predicate(P/Arity),
浏览 0
提问于2017-06-03
得票数 1
1
回答
Prolog
SLD-树生成器
、
我
的
任务是编写一个工具,为给定
的
Prolog
程序和查询可视化SLD。因此,由于我不希望自己实现一个完整
的
Prolog
解析器和解释器,所以我正在寻找一个库或程序来为我生成该树,所以我只需要完成可视化部分。最好
的
情况是一个C++库,但是任何通用语言
的
东西都可以(或者程序输出树作为xml文档,或者任何类似的东西),到目前为止我什么都找不到,所以我把我
的
希望寄托在你们身上。 向尤扎库问好
浏览 1
提问于2015-04-26
得票数 2
1
回答
寻找(\=)/2
的
纯
Prolog
实现
、
否定作为失败通常被认为是不纯洁
的
。失败时否定所需
的
Prolog
解释器必须实现SLDNF,这是SLD
的
一个
扩展
。X \= Y :- \+ X = Y. 是否可以将(\=)/2实现为纯谓词?只使用纯
Prolog
,即只使用一阶喇叭
子句
?
浏览 3
提问于2020-12-18
得票数 3
回答已采纳
3
回答
prolog
在方法中截断
、
我有一个问题,我想问你一些关于代码片段
的
事情:所以这里
的
截断是多余
的
。我
的
推论正确吗?
浏览 4
提问于2009-11-14
得票数 1
1
回答
Prolog
中
的
函数模式
、
如何创建一个接受另一个谓词并返回其派生版本
的
谓词?例如,成对谓词可以相当机械地
扩展
以应用于列表: all_whatever(_, []). whatever(X, Y), all_whatever
浏览 17
提问于2021-07-21
得票数 1
回答已采纳
1
回答
Prolog
回溯策略
、
SWI-
Prolog
,版本6.6.6。p(a, a).它会得到以下答案:true ;?- p(a, a).似乎在第二种情况下没有发生回溯,因为问题中谓词
的
第一个
参数
与其他从句不一致。然而,对于每种情况,人们都希望得到true ; false.
的
答案:引擎将尝试第一个谓词
子句
(结果为true),然后回溯并查找同一谓词
的
其他
子句
(结果为f
浏览 0
提问于2015-10-27
得票数 3
1
回答
我无法理解我
的
代码在
Prolog
编程中
的
结果
我正在为我
的
研究编写
Prolog
程序,我遇到了一些问题。首先,我所有的代码都在下面。*增添* 我更改了我
的
“开始”谓词如下……我没有使用“诊断”和“假设”谓词/但问题可能是。'get_symptoms‘谓
浏览 1
提问于2013-12-11
得票数 1
回答已采纳
4
回答
第一个
参数
索引
、
我想知道智能
的
第一
参数
索引是如何在各种
Prolog
实现上实现
的
。不幸
的
是,SWI
Prolog
不能解决这个问题: ?其他
Prolog
实现是否做得更好?
浏览 42
提问于2015-04-13
得票数 17
回答已采纳
3
回答
内存泄漏Sicstus
Prolog
、
、
此问题是此
的
后续问题。runtest:- t2, . t100.runtest:- once( t2 ), .但我仍然会遇到这个问题。是否有其他方法可以告诉
Prolo
浏览 15
提问于2014-02-12
得票数 5
1
回答
Prolog
给出is_absolute_file_name未处理
的
异常
我完全是一个
Prolog
的
新手,在学校上一门课
的
时候就开始学习了。明天我们有一个重要
的
测试,当我在这里学习
的
时候,我试着做一些以前版本
的
测试中
的
一些任务。
浏览 0
提问于2015-11-06
得票数 0
2
回答
Prolog
:传递隐式
参数
/预测评估
、
、
我正在寻找一种在谓词之间传递隐式
参数
的
可靠方法,例如,有办法这样做吗?此外,我还需要一些方法来连接到一个术语
的
计算中,然后获取它
的
上下文并调用解释。我正在使用SWI
浏览 5
提问于2016-02-16
得票数 4
2
回答
在
Prolog
中,否定即失败是如何工作
的
?
、
我想知道
Prolog
是如何解决这个程序
的
:test(X, X):-!, fail. 我在谷歌上搜索了“否定为失败”,但我很困惑!
浏览 4
提问于2012-12-29
得票数 1
回答已采纳
1
回答
术语
扩展
工作流
、
我正在为常见
的
术语
扩展
工作流添加库支持(1)。目前,我已经定义了一个" set“工作流,其中一组术语
扩展
规则(2)被尝试,直到其中一个成功为止;以及一个”管道“工作流,其中一组术语
扩展
规则
的
扩展
结果被传递到管道中
的
下一个集合。我想知道是否有其他明智
的
术语
扩展
工作流,即使不太常见,也有实际用途,因此仍然值得库支持。(1) Logtalk的当前版本可以在:(2)在此上下文中,一组
扩展
规则应理解为在
浏览 5
提问于2015-11-16
得票数 3
1
回答
在SWI-
Prolog
中实现部分评估
、
、
我正在为
Prolog
查询编写一个部分评估器。SWI是否有一个内置谓词,可以像我在这里所做
的
那样,在运行时执行查询
的
宏
扩展
?
浏览 3
提问于2017-10-06
得票数 8
回答已采纳
2
回答
Prolog
效率:事实统一还是列表成员资格?
我想找到一个角色
的
位置。例如,pos(b,P) P=2。是否最好将这些事实转化为列表并进行成员检查,如下所示:我认为第一种选择更好,但谁能解释每种方法
的
利弊呢? 注意,这只是一个简单
的
例子。
浏览 3
提问于2014-03-14
得票数 6
回答已采纳
1
回答
Prolog
中是否存在多个结论规则
的
句法糖?
考虑以下人为设计
的
示例: q(a) :- p(a), p(b). q(b) :- p(a), p(b).我希望能够以单个
Prolog
声明
的
形式编写类似这样
的
代码,例如: q(a), q(b) :- p(a), p(b).其动机很简单,如果一个人正在用
Prolog
建立一个知识库,其中包含大量
的
多结论规则,就像我上面给出
的
例子一样,能够以某种方式将这些规则写在一行上是很方便
的
。类似的事情在
Prolog
中是可能
的
吗?
浏览 14
提问于2019-05-08
得票数 0
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
Shell 中的命令替换及参数扩展
只需9个步骤,完美实现自动化运维异常处理!
10.Exception BeginPython笔记
Python基础教程 不用提供参数
drop和delete的区别是什么
热门
标签
更多标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
活动推荐
运营活动
广告
关闭
领券