-
Notifications
You must be signed in to change notification settings - Fork 0
/
queries.txt
25 lines (19 loc) · 984 Bytes
/
queries.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
is_friend(ahmed, samy).
is_friend(samy, ahmed).
friend_list(ahmed, X). % [fouad, samy]
friend_list(huda, X). % [lamia, aisha, mariam];
friend_list_count(ahmed, X). % 2
friend_list_count(huda, X). % 3
people_you_may_know(ahmed, X). % mohammed, said, omar, abdullah
people_you_may_know(huda, X). % hagar, zainab, hend
people_you_may_know(ahmed, 2, X). % abdullah
people_you_may_know(huda, 3, X). % zainab
people_you_may_know_list(ahmed, L). % [mohammed, said, omar, abdullah].
people_you_may_know_list(huda, L). % [hagar, zainab, hend]
people_you_may_know_indirect(ibrahim, X). % mohammed, said, ahmed
people_you_may_know_indirect(ali, X). % mostafa
people_you_may_know_list(ibrahim, X). % [fouad, samy, omar, khaled]
people_you_may_know_indirect(marwan, X). % false
people_you_may_know_indirect(hagar, X). % aisha, khadija, lamia, rokaya, eman, laila
people_you_may_know_indirect(ahmed, X). % khaled, ibrahim
people_you_may_know_indirect(huda, X). % khadija, rokaya, eman, laila