RosettaCodeData/Task/Conditional-structures/Prolog/conditional-structures-3.pro

9 lines
111 B
Prolog

fact(X) :-
( X = foo
; X = bar
; X = baz ).
go :-
( fact(booger)
; fact(bar) ).