Comment forcer un échec dans Prolog?

Question

En prologue, est-il possible de forcer un échec? Quelque chose comme:

check(F,A,[1,2,3]) :- FAIL. 
check(F,A,_) : greater_than(F,A). 

Ceci peut être un mauvais exemple, mais quelque chose dans le sens de ceci. Donc, si elle fait correspondre un motif sur F, A, [1,2,3], alors nous arrêtons juste le processus qui unifie et retournons un faux.

Answer 1

Prolog a un prédicat fail/0 intégré, qui échoue systématiquement. Vous avez besoin d'une coupe ! devant elle afin d'éviter en outre la concordance de la même règle check/3:

check(F,A,[1,2,3]) :- !, fail.