Question

= MN Mubarak Naji Saved Alshahrani 1-AI LAB AssignmTHrit Na - طريقة عرض متمية - ممر الحفط في الكمبيوبر السخصي هذا نتانی الي التعليقات گا ماركة ملق تعليمات عرض مراجعة مراسلات مراجع تخطيط تفهم ترانه إدراج الشريط الرئيسي طريقة عرض محمية کن حدر لقد تحتوي الملفات من إنترنت على فيروسات، يعتبر البيضاء في "طريقة عرض محمية" أكثر أمانا إلا إذا كنت تريد تحريرها تمكين التحرير Question#1: Write a Prolog program, which defines the parent relations with all the nodes of the given family tree. (3marks) Leyla Ali Omar Nour Meriam khaled Zahra Question#2: Write Queries for the following questions and write answer also. Note: (Take a screenshot for the queries that you write in prolog and past here.) • Is Ali a parent of Nour? ?-Parent(Ali, Nour) (1 Mark) . Who is Meriatri parent? ?-Parent(X, Meritanni (1 Mark) • Who are Omar children? ?-Parent(Omar, Y) (1 Mark) Question#3: Write a Prolog program for factorial function. (2marks) Question#4: Write two queries, which find a factorial of 6, and check factorial of is 25? (2 marks) 100% + التقا , التركيز ۱۲ كلماته الشهادة أمن | = اگه هم N e E هر اكتب هنا للبحث F TM - آرا

Answer 1

If you do not have any Prolog IDE installed, you can try running this code online at

https://swish.swi-prolog.org/p/prolog-family-tree.pl

Question 1 and 2

Prolog Code

/* Facts */
parent(leyla,omar).
parent(ali,omar).
parent(ali, nour).
parent(omar, meriam).
parent(omar,khaled).
parent(khaled, zahra).

/* Rules */
children(X,Y):-
parent(Y,X).

Sample Input and Output

co 25 prolog-family-tree + 1 /* Facts */ 2 parent(leyla, omar). 3 parent(ali,omar). 4 parent(ali, nour). 5 parent (omar, meriam). 6 parent (omar, khaled). 7 parent(khaled, zahra). 8 9/* Rules */ 10 children(X,Y): - 11 parent(y,x). parent(Y,omar) Y leyla ali 2 children(x,omar) х meriam khaled 2 parentali, nour) true ?. parent (ali,nour)

Question 3 and 4

Prolog program to find factorial and testing

/* Factorial */
fact(0, 1).
fact(N, Result):-
N > 0,
Next is N - 1,
fact(Next, Recursion),
Result is N * Recursion.

Sample Input and Output

25 prolog-family-tree + 1/* Factorial */ 2 fact(0, 1). 3 fact(N, Result): - 4. 5 Next is N 1, 6 fact(Next, Recursion), 7 Result is N Recursion. N>O, fact(6, Result). 720 Next 10 100 1,000 Stop fact(5, 25). false ?. fact(5, 25).