/* NOT.LOGIC */ /* Facts used in Lesson 6. */ is_a(joe,man). is_a(jill,woman). is_a(bill,man). is_a(sue,woman). lives_in(joe,london). lives_in(jill,brighton). lives_in(bill,london). lives_in(sue,paris).