8 lines
172 B
Prolog
8 lines
172 B
Prolog
|
fact(X) :-
|
||
|
|
( X = bar -> write('You got me!'), nl
|
||
|
|
; write(X), write(' is not right!'), nl, fail ).
|
||
|
|
|
||
|
|
go :-
|
||
|
|
( fact(booger)
|
||
|
|
; fact(bar) ).
|