fact(foo).
fact(bar).
fact(baz).

go :- fact(booger).
go :- fact(bar).