9 lines
111 B
Prolog
9 lines
111 B
Prolog
|
fact(X) :-
|
||
|
|
( X = foo
|
||
|
|
; X = bar
|
||
|
|
; X = baz ).
|
||
|
|
|
||
|
|
go :-
|
||
|
|
( fact(booger)
|
||
|
|
; fact(bar) ).
|