This task is part of introduction to Prolog given in an artificial intelligence course. As part of artificial intelligence course given in faculty of computers and information, Prolog was the first tool to make intelligent decisions like making relations between different objects. Prolog has a strong history in AI starting in 1972 as a logic programming language that solves problems by logic. This file presents a family tree problem to be solved using Prolog. By converting the tree into number of objects, Prolog can create multiple useful relations like knowing what is the brothers and sisters of someone, who are the parents of some one, and more. Prolog is a general-purpose logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations. The language was first conceived by a group around Alain Colmerauer in Marseille, France, in the early 1970s and the first Prolog system was developed in 1972 by Colmerauer with Philippe Roussel. Prolog was one of the first logic programming languages, and remains the most popular among such languages today, with several free and commercial implementations available. The language has been used for theorem proving, expert systems, type inference systems, and automated planning, as well as its original intended field of use, natural language processing. Modern Prolog environments support creating graphical user interfaces, as well as administrative and networked applications. Prolog is well-suited for specific tasks that benefit from rule-based logical queries such as searching databases, voice control systems, and filling templates. Find me on: AFCIT http://www.afcit.xyz YouTube https://www.youtube.com/channel/UCuewOYbBXH5gwhfOrQOZOdw Google Plus https://plus.google.com/u/0/+AhmedGadIT SlideShare https://www.slideshare.net/AhmedGadFCIT LinkedIn https://www.linkedin.com/in/ahmedfgad/ ResearchGate https://www.researchgate.net/profile/Ahmed_Gad13 Academia https://www.academia.edu/ Google Scholar https://scholar.google.com.eg/citations?user=r07tjocAAAAJ&hl=en Mendelay https://www.mendeley.com/profiles/ahmed-gad12/ ORCID https://orcid.org/0000-0003-1978-8574 StackOverFlow http://stackoverflow.com/users/5426539/ahmed-gad Twitter https://twitter.com/ahmedfgad Facebook https://www.facebook.com/ahmed.f.gadd Pinterest https://www.pinterest.com/ahmedfgad/

1. Create a SWI-Prolog program named family_tree_[first_name]_[last_name].pl to represent the
family tree shown in the following diagram.
The top and bottom nodes of the tree represents the parents and children respectively. Most
children have two arrows going to its parents` nodes where the left and right nodes represent the
father and the mother respectively. For example, Fathi is the son of Ali and Hala where Ali is his
father and Hala is his mother.
Each man has only one wife except Ahmed has two wives (Dina and Samar).
Create the least number of relations that enable you to answer AMAP questions asking for the
following:
 Grandmother.
 Son.
 Daughter.
 Nephew – Brother`s Son.
 Nephew – Sister`s Son.
 Niece – Brother`s Daughter.
 Niece – Sister`s Daughter.
 Cousin – Male.
 Cousin – Female.
 Grandson.
 Granddaughter.
 Grandfather.
 Father.
 Mother.
 Uncle – Father`s Brother.
 Uncle – Mother`s Brother.
 Aunt – Father`s Sister.
 Aunt – Mother`s Sister.
 Husband.
 Wife.
 Sister.
 Brother.
Note: The fewer the created relations and the more questions prepared the higher the grade.
Ahmed F. Gad
ahmed.fawzy@ci.menofia.edu.eg
‫المنوفية‬ ‫جامعة‬
‫والمعلومات‬ ‫الحاسبات‬ ‫كلية‬
‫األقسام‬ ‫جميع‬
‫اإلصطناعي‬ ‫الذكاء‬
MENOUFIA UNIVERSITY
FACULTY OF COMPUTERS
AND INFORMATION
ALL DEPARTMENTS
ARTIFICIAL INTELLIGENCE
‫المنوفية‬ ‫جامعة‬