Q1.

∀X seller(X) ∧ ∀Y customer(Y) ∧ [new(Y) ∨ regular(Y)] ∧ attract(X, Y) ∧ ∀Z

product(Z) → sell (X, Z, Y).
a.
b. ∀S sales(S) ∧ ∃X company(X) ∧ are_located_in(X, uk) ∧ is_the_sales_Of(S,
are_located_in(X, uk)) ∧ ∃Y company(Y) ∧ are_located_in(Y, us) >
is_the_sales_Of(S, are_located_in(Y, us))
c. ∀X person(X) ∧ ∀Y customer(Y) ∧ ∃Z laptop(Z) ∧ high_quality(Z) ∧ sell(X, Z,
Y) → smart(X) ∧ respect(Y, X) ∧ appreciate(Y, X).
d. ∃X student(X) ^ jordanian(X) ^ winner(X) ^ win(X, game, in_this_school) ^ ∀Y ¬
(X==Y) ^ student(Y) ^ winner(Y) ^ win(Y, game, in_this_school)→ ¬jordanian(Y).
e. ∀X person(X) ^ born(X, america) ∨ ¬born(X, america) ^ ∀ Y parent(Y, X) ^
is_an_citizen(Y, American) ∨ is_a_resident(Y, American) → citizen(X, American,
birth).

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Q2. a)

% the facts

student(amjad).
student(sami).
student(adel).
student(samer).

school(alnoor).

study(amjad, alnoor).
study(sami, alnoor).
study(adel, alnoor).
study(samer, alnoor).

makes(alnoor, summerClub, everyYear).

activity(swimming).
activity(camping).

enrolled_in(amjad, swimming).
enrolled_in(sami, swimming).
enrolled_in(adel, camping).
enrolled_in(samer, camping).
swim(amjad, daily).
swim(sami, weekly).
walk(amjad, daily).
walk(sami, weekly).
 %the rules

athletic_student(X):- swim(X, daily), walk(X, daily).

isNumberOfExercisesMoreThanSixandLessThan12(Y):- Y>6, Y<12.

super_athletic(X, Y):- student(X),

isNumberOfExercisesMoreThanSixandLessThan12(Y).

b)
%1)
%student(amjad).
%yes

%2)
%?- listing(student).
%student(amjad).
%student(sami).
%student(adel).
%student(samer).
%yes
%3)
% ?- activity(X).
%X = swimming ? ;
%X = camping

%4)
%?- enrolled_in(X,Y).
%X = amjad,
%Y = swimming ? ;
%X = sami,
%Y = swimming ? ;
%X = adel,
%Y = camping ? ;
%X = samer,
%Y = camping

5) student(X), study(X, Y).

X=amjad;
X=sami;
X=adel;
X=samer

X=amjad;
Y=alnoor;
 X=sami;
Y=alnoor;
X=adel;
Y=alnoor;

X=samer;
Y=alnoor

6) swim(X, daily).
X= amjad

7) swim(X, daily), walk(Y, weekly).

X= amjad
Y= sami
%yes

8) athletic_student(amjad).
%yes

9) athletic_student(X).
X= amjad
10) super_athletic(amjad, 7).
%yes

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Q3.
%1)
%?- [Head|Tail] = [camping_clothes, camping_hat, camping_shoes].
%Head = camping_clothes,
%Tail = [camping_hat,camping_shoes]

%2)
member(camping_hat, [camping_clothes, camping_hat, camping_shoes]).
%yes

%3)
member(camping_clothes, [camping_clothes, camping_hat, camping_shoes]).
%yes
%member(camping_hat, [camping_clothes, camping_hat, camping_shoes]).
%yes
member(camping_shoes, [camping_clothes, camping_hat, camping_shoes]).
%yes

%3)
%?- member(X, [camping_clothes, camping_hat, camping_shoes]).
%X = camping_hat ? ;
%X = camping_clothes ? ;
%X = camping_shoes

%4)
%?- [Head|Tail] = [camping_bag, headlamp, sleeping_bag, tent].
%Head = camping_bag,
%Tail = [headlamp,sleeping_bag,tent]

%5)
append([camping_clothes, camping_hat, camping_shoes], [camping_bag, headlamp, sleeping_bag,
tent], [camping_clothes, camping_hat, camping_shoes, camping_bag, headlamp, sleeping_bag, tent]).

%output
%?- append([camping_clothes, camping_hat, camping_shoes], [camping_bag, headlamp,
sleeping_bag, tent], X ).
%X = [camping_clothes,camping_hat,camping_shoes,camping_bag,headlamp,sleeping_bag,tent]