The Jobs Puzzle A Challenge for Logical…
https://cse.buffalo.edu/~shapiro/Talks/jobsChallengeTalk.pdf
18 Mar 2011:
Solutions Formalizing the Statements. 1. jp: There are four people: Roberta, Thelma, Steve, and Pete. ... has job(roberta, boxer). ˜hasJob(Roberta,boxer). :- hasJob(roberta, boxer). Stuart C. Shapiro (U.