GNU prolog (gprolog) has been installed on all Sun workstations (i.e., flat-rock, hendersonville, marshall, brevard, leicester, and alexander) as well as the Linux boxes.
There are some example programs in /usr/local/gprolog-1.2.1/Examples on the Suns.
The online documentation is available at the following URL:
http://burnsville.cs.unca.edu/gprolog
To get you started here are a few basics on running gprolog:
user
type either:
[ user].
or
consult(user).
Create a prolog program that will reason about family relationships. Some rules may include:
You may use the above pieces of knowledge or come up with your own relationship rules. However, in any case, use a minimum of 14 rules (there are only 12 rules above). Next, add a series of facts about your family such as listing your brothers, sisters, etc. (doesn't actually have to be your family, make up a family if you want). Have at least facts such as father(bill, joe). Then, try to prove various relationships and see how people are related.
Hand in an ASCII version of your knowledge-base plus a few queries. You can use a screen capture to create a hardcopy of the queries.
Hand in an ASCII version of your predicates.