The “deliverable?? for this piece of coursework is a program, plus a transcript of a Prolog session. You can make a transcript by selecting File → Save Transcript in the Sicstus menu.
1. Extend the set of family relationships in [login to view URL], defining relations like brother, sister, cousin, nephew, aunt, etc. Develop an accompanying database of facts identifying the members of your family tree. These can ALL be defined in terms of one basic relation parent/2and one property female/1, together with the use of negation.
2. Show that the predicates work in the expected way without duplicating, for example if joeis bill’s only brother, then brother(joe,X)should give just one solution.
3. Write a predicate which removes all the people in a list who are *not* related to a particular person.
4. Using recursive list predicates, develop some predicates that will return sets of relatives ??" both generic (e.g. family-members), and centered (e.g. ancestors-of, descendants-of).
5. Show in your transcript how you would use combinations of predicates to get more specific results, but things you don’t really want to define as rules, for example “find all the male cousins of …??. There are different ways to do this, some quite clumsy … but I DON’T want you to write rules!
## Deliverables
1) Complete and fully-functional working program(s) in executable form as well as complete source code of all work done.
2) Deliverables must be in ready-to-run condition, as follows (depending on the nature of the deliverables):
a) For web sites or other server-side deliverables intended to only ever exist in one place in the Buyer's environment--Deliverables must be installed by the Seller in ready-to-run condition in the Buyer's environment.
b) For all others including desktop software or software the buyer intends to distribute: A software installation package that will install the software in ready-to-run condition on the platform(s) specified in this bid request.
3) All deliverables will be considered "work made for hire" under U.S. Copyright law. Buyer will receive exclusive and complete copyrights to all work purchased. (No GPL, GNU, 3rd party components, etc. unless all copyright ramifications are explained AND AGREED TO by the buyer on the site per the coder's Seller Legal Agreement).
## Platform
the program needs to run on SICStus