-
Build a genealogical tree of your family using relations defining events in the human life – birth, death, marriage, divorce. Each event should marked by year like this: birth(huang_xiaoxi, male, 2002, wang_jian, yu_chuqiao). Arguments are: 1 – who is born, 2 – sex, 3 – year of birth, 4 – father, 5 – mother). You should write at least 20 records of birth. Similarly, define the facts of death, marriage and divorce.
-
Define the rules for states, spouse, parent, child, single, married, widowed, divorced. As these states are temporal (not existing always), these rules should be defined for a year. For instance, we could ask “Was wang_jian a father of somebody in 2001?”.
-
Write ate least 20rules defining relation uncle, aunt, brother, cousin, grandmother, etc.
-
Run the program and solve at least 20 goals.
-
Write a report including the title page, task description, all the predicates, descriptions of all rules, screenshots of solved goals, the summary (By your opinion, why Prolog is good and why Prolog is bad).
-
Send the .doc file containing the report to bessmertny@itmo.ru.
- Download and install the ‘Semantic’ program.
- Transfer the knowledge base created in the Lab.1 to the ‘Semantic’ environment.
- Add to objects in the knowledge base attributes: profession, hobby, etc. by your choice.
- Create rules defining relations: colleague, common interests, etc. At least 3 rules.
- Make screenshots demonstrating results of inference from your rules.
- Report Chapters: Problem statement, Knowledge base text, Rules definition, Screenshots, Summary.