The Linux boxes have Prolog installed on them, and the program can be accessed using by invoking the 'pl' executable at the command line.

You should type your database and rules into a file, say test.pl, and then at the prolog prompt (a question mark), you can load that file with the command

consult( 'test.pl').

Don't forget the period at the end of that line!

Starting with a database of people defined with predicates female( X), male( X), parent( X, Y), and spouse( X, Y) create rules for the following predicates.

• father( X, Y)
• mother( X, Y)
• grandmother( X, Y)
• child( X, Y)
• grandchild( X, Y)
• descendant( X, Y)
• father( X, Y)
• wife( X, Y)
• husband( X, Y)

Add a rule for the predicate aunt( X, Y). Don't forget that an aunt can be either the sister of a parent, or can be an aunt by marriage.

Turn in the rules, plus a small run of questions showing that the interpreter is using your rules correctly.