在 Prolog 中定义谓词的最佳方法
我在 Prolog 中定义过程时遇到问题。 我有两个源文件,想用它们来查询 Prolog 引擎。 这可以通过调用 Prolog 作为 swipl -g “['1.pl','2.pl'] 来完成…
列表内部或外部的序言对有什么用
我在 SWI-PL 文档中多次遇到键值对,但无法获得有关它们的详细信息。这是序言中的标准内容还是只是 swi pl 的扩展? 主要在这里找到: http://www.swi…
prologatom concat swi 和 yap prolog
输入: run([p(X,Y,Z),h(Z,P,Q)],Out). 代码: :- ensure_loaded(library(lists)). run([X|Y],Out) :- X =.. [Fct|Args], X =..Total, length(Args,L)…
为什么 gnu prolog 不支持“false”谓词? (我已经改成swi了)
我一直在使用 gprolog 在 prolog 中做一些事情。但现在当测试更多代码时我发现它不支持“false”。 swi支持哪些?…
为什么 SWI-Prolog 将带引号和不带引号的字符串(不含空格)统一为同一规则?
假设我有以下规则: unify('test', 'this is a test'). run :- write('Enter something: '), read(X), unify(X, Y), write('The answer is '), write(…
在 SWI-Prolog 中 [a|b|c] 的计算结果是什么?
prolog 中的管道运算符返回一个或多个原子头列表和一个尾列表。 ?- [a,b,c] = [a,b|[c]]. true. 在单个匹配中嵌套多个管道可以类似于以下方式完成: ?…
- 共 1 页
- 1