序言析取

Question

考虑这个 Prolog 谓词:

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

查询时，输出答案有两种状态:真和假。无论如何，只要 Prolog 在析取中遇到一个真实的陈述，就要求 Prolog 终止吗？

Answer 1

问题是“有没有要求 Prolog 在遇到析取语句中的真实语句时立即终止”？

答案是“查询答案时使用once/1”。

例如:

     ?- [user] .
     silly:-
     1=1 .
     silly:-
     1=2 .
     silly:-
     2=2 .
     end_of_file .

     ?- %% query WITHOUT once {results in 2 answers} : %%
     silly .
     true ;
     true.

     ?- %% query WITH once {results in 1 answer} : %%
     once(silly) .
     true.

使用cut ! 不符合所述问题的语义要求。

如果问题更像是“无论如何要询问 告诉Prolog在遇到真实陈述时立即终止，则使用cut是合适的** 一个在析取中特别指出的语句*"?