问Prolog分离
EN

Stack Overflow用户

提问于 2014-08-17 03:55:00

回答 1查看 2.2K关注 0票数 3

考虑这个Prolog谓词：

silly:-
    1 = 1.
silly:-
    1 = 2.

当查询时，输出答案有两种状态: true和false。不管怎么说，当Prolog在分离过程中碰到一个真正的语句时，它会立即终止吗？

回答已采纳

发布于 2014-08-17 06:59:56

加一个切分

silly:-
    1 = 1, !.
silly:-
    1 = 2.

或者使用if/ into /into，但是“program”的形状非常不同，它是合并到一个子句中的可选分支。还请注意，正如文件中所述

与!/0不同，谓词作为一个整体的选择点(由于多个子句)不会被破坏。

silly:-
    ( 1 = 1 -> true ; false ).

票数 4

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/25346189

复制

相似问题

问Prolog分离EN