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