[SOLVED] 代写 prolog database CSE4705 – Introduction to Artificial Intelligence November 3, 2019 Problem Set 3 – Logic Programming

CSE4705 – Introduction to Artificial Intelligence November 3, 2019 Problem Set 3 – Logic Programming
Overview: In this problem set, you will complete a database of family members and family tree relations which will allow you to query the database regarding familial relationships. Use the website http://learnprolognow.org as a reference. You may need to download a Prolog interpreter for your workstation. I would recommend the SWI-Prolog interpreter for your platform (see the Learn Prolog Now website above for links).
1. Facts
First you will add facts about existing people, their genders, and nuclear family relationships to the database. For instance, you could add the following facts about the Norwegian royal family:
male(¡¯Haakon VII¡¯).
male(¡¯Olav V¡¯).
male(¡¯Harald V¡¯).
male(¡¯Haakon¡¯).
female(¡¯Martha¡¯).
female(¡¯Mette-Marit¡¯).
female(¡¯Maud¡¯).
female(¡¯Sonja¡¯).
parent(¡¯Haakon VII¡¯,¡¯Olav V¡¯).
parent(¡¯Maud¡¯,¡¯Olav V¡¯).
parent(¡¯Olav V¡¯,¡¯Harald V¡¯).
parent(¡¯Martha¡¯,¡¯Harald V¡¯).
parent(¡¯Harald V¡¯,¡¯Haakon¡¯).
parent(¡¯Sonja¡¯,¡¯Haakon¡¯).
For parent(X,Y) facts, the definition means X is a parent of Y.
2. Rules Add to your database, rules regarding the following familial relationships:
father(X,Y)
mother(X,Y)
sibling(X,Y)
brother(X,Y)
sister(X,Y)
spouse(X,Y)
brother-in-law(X,Y)
sister-in-law(X,Y)
uncle(X,Y)
aunt(X,Y)
grandmother(X,Y)
grandfather(X,Y)
cousin(X,Y)
ancestor(X,Y)
descendant(X,Y)
Submit both the database file you created and a file containing the test cases you used to test your rules on Moodle.
1