不太像 (swi) prolog 的寻呼机
Unix 中的典型工作流程是使用一系列过滤器，最后是一个寻呼机，例如 less。例如（省略参数） grep | sed | awk | less 现在，swi-prolog 命令行中的典…
为什么这个序言查询既正确又错误？
我的 SWI-Prolog 知识库包含以下两个事实： f(a,b). f(a,c). 现在，如果我提出查询 ?- f(a,c). true. 但是 ?- f(a,b). true false. 为什么 f(a,b) 既…
Prolog 列表中的两颗星
列表中的两颗星是什么？ [53, 5, 1, 53, 97, 115, 53, 50, 52, 121, 55, 56, 55, 97, 4, 1, 98, **] 我尝试搜索但没有成功。…
如何在 SWI-Prolog 中扩展结果列表？
?- length(L,25). L = [_G245, _G248, _G251, _G254, _G257, _G260, _G263, _G266, _G 269|...]. 如果我在长度谓词后使用 write(L) ，那么解释器会打…
- 共 1 页
- 1
