为什么 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
