ok(Person) :- alma_mater(Person, 'UNC-CH'), !, fail.
ok(Person) :- bowler(Person).
ok(Person) :- likes(Person, bbq).
ok(Person) :- will_loan_me_money(Person).

bowler(dennis).
bowler(jim).
likes(mary,bbq).
will_loan_me_money(chris).
alma_mater(jim,'UNC-CH').


