Prolog失败意义

Question

我想知道这究竟是什么意思？

pred(_):-fail.

我已阅读了一些文章，但我找不到类似语法的任何内容。

编辑:(更广泛的背景） pred3(A, B) :- pred(A), pred2(B). pred2与pred

相同

Answer 1

pred（_）： - 失败。可以用于psuedo if else语句。例如

%if the number = 2
pred(2) :-
     write('correct number recieved').

%else if number = 5    
pred(5):-
     write('close enough for me').

%else we only want a two so fail
pred(_):-
      fail.