A Prolog database and queries that deal with relationship between peoples

The document in the zip folder contains definition of several basic predicates that define relationships between people, such as parent. Based on the given basic predicates, you need to create rules that define other predicates. For example, given predicate parents, you will have to define predicate grandparent. A small database is provided using the basic rules, additional facts need to be added based on the basic predicates to the database for testing. In addition, you will have to write queries to answer specific questions about people. (must include documentation for this project) The following predicates are given: female(x) male(x) spouse(x, y) parent(x, y) Predicates that you need to define: father(x, y) mother(x, y) married(x) grandparent(x, y) grandmother(x, y) sibling(x, y) sister(x, y) brother(x, y) halfsister(x, y) halfbrother(x, y) aunt(x, y) uncle(x, y) cousin(x, y) Queries that you have to come up with: 1. Are there same-sex couples?? 2. Are there polygamous people in the database (someone with several spouses)? 3. Is there incest?? 4. Find all females who have at least two male cousins. See attachement carefully for details. ## 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 Must use SWI Prolog for this project.