module negation_problem.

  unmarried_student X
    :- (not (married X)), (student X).

  student bill.
  married joe.