٢٣/٠٤/١٤٢٩ ‫ذآء إ‬-‫ ﻡﻡت‬-‫ﻡى

ا‬-(٢)
‫ا‬

E٣F
‫א‬
٠‫"! אאو‬#‫אد‬%‫*)&א(و'&א‬+#,-./‫وא‬Edit‫ א‬J١ 

٠‫א‬#‫אد‬%‫א‬56+7‫א‬8‫وא‬9:!;<
(‫אא‬.=‫א‬٠prolog1+‫وא‬2‫א‬3+‫אج‬ 

٠@!ABCD‫א‬3EB‫א‬F=‫و‬G1BH‫مא‬JK‫*)&א‬+#,-C‫ن‬./‫ א‬J٢ 

prolog;<!‫د‬%"‫وא‬5‫א(*)&א‬#,-C./‫ א‬J٣ 

\*ANTMALS DATABASE\* 


animal(mammal, tigr,carnivore,stripes). 

animal(bird,eagle,carnivore,large). 

animal(mammal,hyena,carnivore,ugly). 

animal(bird, sparrow,scavenger,small). 

animal(mammal,lion,carnivore,mane). 

animal(reptile,snake,carnivore,log). 

animal(mammal,zebra,hanra,herbivore,stipes). 

animal(reptile,lizard,scavenger,small). 
WGEL‫א& م‬1"‫א‬8‫وא‬./‫א‬ 

mammals&E,6‫א‬NOEa 

carnivore mammals5E,6‫א‬PQ‫א‬%‫א‬NOEB 

stripes&B T SR‫&א‬E,6‫א‬NOEc 

‫؟‬maneVK-*'‫و‬UW-@(reptile)
Q‫אوא‬,QUEd 

E٣F
‫א
א‬

 a) ?-( animal(mammal,x,_,_).
 (b)?- animal(mammal,x,carnivore,_).

 (c) ?-animal(mammal,x,_,stripes).

 (d) ?-animal(reptile,X,_,mane).

١
٢٣/٠٤/١٤٢٩ ‫ذآء إ‬-‫ ﻡﻡت‬-‫ﻡى ا‬-(٢)
‫ا‬

E ‫
א‬F
‫א
א‬
NETWORK SYMANTEC

e^nÖ]<‚ñ]…JÝ
althabty2002@yahoo.com
3


%& ‫و‬$
!"
   ‫ א

א
 
 א‬
٠ +‫ود‬$، + ‫ و‬-
‫א‬+,()*'

3 -4‫ א א‬2
&-1 +, ()* 
‫ א

א‬
'9: ٠ links  3 -4 ( ‫  وא‬8‫ א‬+7  6
)5‫ وא‬nodes
٠‫<;אوא (א>=  ?<;א‬
2 ‫د‬D ‫ع‬C  )‫' א‬9- 3A
‫@ א
 א‬5 
( ‫ אوא‬2 ‫ א‬H‫
و‬A*  )‫
ن א‬5 ?F، 'E 4‫א‬
 +J‫و‬ST‫ذجوא‬R PO

NM+H‫ذאوא‬L٠ +C  -J
AI‫א‬
!" ‫ ول‬W ‫ن‬$ A‫ א‬2-J ، U C 
‫ א)  א‬2 ‫א‬
٠E + 6 -
‫א‬F
C-7‫'אא‬Y XT‫

د
وא‬
4

٢
٢٣/٠٤/١٤٢٩ ‫ذآء إ‬-‫ ﻡﻡت‬-‫ﻡى ا‬-(٢)
‫ا‬

JZ[‫אض‬Z]‫ ل–א‬9 
٠ +JO`_ Y،
J> X 9:‫ ^ ج‬C$‫ض‬J‫ א‬
[
AI‫אضא‬Z]‫'א‬Y,C
+!‫
و‬aT‫
وא‬H5 
;< ,C5
‫ و‬d
C
-‫ א)ق א‬2 ‫ א‬b C‫و‬،
J‫א‬


‫ ` وز <; א‬CC
f ٠$ 2$ 2 e 2 CC
‫אض و‬Z]‫א‬
 =>‫ [ א‬3‫د‬H‫אض א‬Z]‫
ن א‬5 ‫ن‬$ 2
f ٠
‫! 

د‬
W -Y +C
You,person,chair,furniture,leather,my_chair,bro 
wn,seat
 -YEC& +-,C52
f 

funiture

ako
ako seat
person chair

isa isa

you Belongs_to Your_chair

Made_of

wood colour brown

٣
٢٣/٠٤/١٤٢٩ ‫ذآء إ‬-‫ ﻡﻡت‬-‫ﻡى ا‬-(٢)
‫ا‬


i
j‫( [ א
א‬is a) 3" & 2& isa i‫ [ <א א
' @ א‬
lmk2&‫א‬X‫د‬D X 9@k‫نא‬$%&‫ل‬5
 &
=>&‫و‬
٠‫& م‬
pL -C k‫ن <א א‬$ o5‫( و‬a kind of) 2& @5 ako 
[ ?E  aU$  =>‫ ن א‬5  ٠lm k 2 ‫אع‬$
&-1
E X F$ -+C i-‫א‬q‫א‬2F
‫"!א
א‬
 =>‫ א‬2& r
! ‫אم <א אوא ( א‬I!‫ א‬CC
f  ٠ 
٠ =>‫א 
" =א‬t=‫و‬،‫ ل‬9‫[<אא‬sl]‫א‬
[  ))I‫
[ א‬I4‫ق  ? א

א
وא

א‬J b C 
٠sl$ = !
2 ‫ ع‬2 9Y$ %&  ))I‫' א
 [ א‬9-‫ א‬uv  
‫אع‬$3&
‫א

א‬2-75‫ن‬$2
f -C ،‫א>=  ?א‬
٠ &?  =>‫א‬2 7

?‫ א)   ! 

? د‬OA ‫? ! ن‬I u$ 
٠
 J9Y]‫(!
نא‬J -‫א‬FL2
?A*
;<+ 

 q5 CJ C‫ א‬%& 9Y$ 3"‫))  = د‬I‫@ א‬5 
xy"3‫& د‬Lw
‫'"!*)( '[אא‬7J]‫א‬2-J
)‫א‬
٠9Y$|" 5z{ =>‫ وא‬X559Y$
)
& CUj‫א‬k Y<(4‫ א)א‬+} 
‫א
א‬e5 
[ ~v  
+ 
)   )‫' א‬9-
‫ و‬D ‫و‬
٠3Y‫א<א‬

٤
٢٣/٠٤/١٤٢٩ ‫ذآء إ‬-‫ ﻡﻡت‬-‫ﻡى ا‬-(٢)
‫ا‬

‫وא
א‬PROLOG

‫وא
א‬prolog ? 
w‫)
وو‬4 'U‫
و‬Ub C 
2
-!
‫  
א‬+9:2
f

u$‫ن‬$o‫و<א‬،
٠
+4 prolog
  +F
‫ !אل‬prolog[ )3& =pL
‫'

د‬W CC
f 
 )‫א‬3& =;>&$‫ ل‬9‫(
'א‬E ! ‫ وא‬C =>‫א‬
W
 ‫א‬

ako(chair, furniture). 

ako(chair, seat). 

isa
is (your_chair, chair). 
isa(you,person).
isa 

made_of(mychair, wood). 
colour(wood,
co brown). 
belongs_to (your_chair, you). 
٠3  !‫ א)  ن א
א‬3& = C)5 ٠ N!Y ‫
ن‬J  C$ ‫ض‬J‫א‬ 
WN!


‫א‬3‫ א د‬CJ&‫ذא‬L٠k €

‫ نאאدא‬C)5 +C

made_of (your_chair, X). 
W
J T‚ ‫ دאن‬L CC
f<EC& 

colour(X, Colour)K 

W!‫ دنא
א‬L CC
f -Y' Y" 4A! ‫و‬ 

?-made_of(your_ chair,X),co lour(X,Colour). 

X=wood 
Colour=brown  10


٥
٢٣/٠٤/١٤٢٩ ‫ذآء إ‬-‫ ﻡﻡت‬-‫ﻡى ا‬-(٢)
‫ا‬

‫„אل‬4‫א‬

W
J" 4A!‫
א‬Z UN

‚ ' 
?(seat)X‫א‬N!Y‫ ن‬Y‫ذא‬L ( a 
٠ …IX
‫ ن‬Y‫ذא‬L Eb 

†!]‫
א‬H$ 
?-isa(your_chair,X),ako(X,seat).(a) 
?-belongs_to(your_chai,X),isa(X,person).(b) 

11

LIERRBIVORES q‫وאא‬CARNIVORESF‫ لאא‬9

 )& =pL PFw،
‫ 

د‬3‫د‬H‫א א‬2&@&‫א و‬6)‫א‬$=‫א‬ 
W" l +I!‫وא‬prolog[
‫) د؟‬5q‫'אא‬Y‡ Y‫ذא‬L Ea 

٠‫ د؟‬5q‫'אא‬Y‡ Y‫ذא‬L EB 

(leopard) +A‫( وא‬lion) !] Y (carnivores) F‫) د אא‬5 ‫[ & ‰ אŠאن‬ 


@‫ א‬3P‫( وא‬zebra) F‫ " א‬-Š Y (herbivores)
 ‫אŠא  א‬
‫ د‬5OE‫א‬Jsl]‫(وא‬hunters)3‫ د‬U ‫אŠא‬8 @5‫<א‬٠(wildebeest)
3& ‫<; א‬P ‫א‬k C9!‫ א‬b C 2
 ٠ q‫ אא‬F‫ אא‬5 ‫( و 
' & م‬hunted)
N<Y‫ و‬rY +-‹F ‫ د ]ن‬5  ‫א‬X"‫  د‬q‫@ &א‬5 _‫( א‬elephants)
A J،
‫ن‬$2
f٠q‫ &א‬+$%&ŒC5‫م<א‬a‫
א‬Y$2@5_‫(א‬bears) 
 ‫א‬
٠
UA‫ א‬PSC45 C& +Y}5‫و‬sl]‫) دא 
אŠא א‬5
W
 ‫ "!א

א
א‬CC
f 

12

٦
٢٣/٠٤/١٤٢٩ ‫ذآء إ‬-‫ ﻡﻡت‬-‫ﻡى ا‬-(٢)
‫ا‬

ZEBRA

HUNTED
LION

HUNTER

BEAR

HERBIV
ORE
CORNIVORE
WILDEBEEST

LEOPARD

ELEPHANT

13

W
 ‫א) א‬3& = C)‫و<א‬ 

isa(carnivore,lion). 
isa(carnivore,leopard). 
isa(carnivore,bear). 
isa(hunter, lion). 

isa(hunter, leopard). 
isa(hunter,bear). 

isa(herbivore, elephant). 
isa(herbivore, zebra). 
isa(herbivore,wildebeest). 
isa(herbivore,bear). 
isa(hunted,zebra). 
isa(hunted,wildebeest). 
‫ "א‬4A!‫אمא‬I! 
 4‫
א]!†
א‬HL‫و‬ 

 A)?- isa(herbivore,Animal),isa(hunter,Animal).
B) ?-isa(herbivore,Animal), isa (hunted,Animal).  14

٧
٢٣/٠٤/١٤٢٩ ‫ذآء إ‬-‫ ﻡﻡت‬-‫ﻡى ا‬-(٢)
‫ا‬

‫אא"س‬2&2:
3
†!$ 2&
HŽ ‫' א)  א 
א
 א"س‬9: q)5
 4 ‫ن‬$ ‫ض‬J‫א‬ 
٠ )‫א‬2&
٠P A] ‫א‬FL k   ']‫ אא"س وم א‬2
A* X&‫א‬$ 3a‫ [ א

א‬H 
6)4٠ XC!@Y]‫ لא‬A€
 9‫?وאא"سא‬J ‫ لא‬A€
E‫אא"سא א‬b C
 $ ٠
E‫ א"س א]و
א א‬pL ‫و‬$
 ‫&אد
א‬j‫ אא"س א‬pL | <‫ א‬U]‫א)>| א‬
|>) &‫ א"س אא‬X7$ b C 2
 %&$ ‫ א"س‬pL ‫<ن‬J XC! @Y]‫א]ود א‬
‫م‬5 ٠
 ‫ אא"س א 
א‬pL
J TL ، 3= ‫ €ود א‬HC
‫  א‬Y k Y‫א]ذ‬
٠
f‫ د‬Y$
 5&‫אא"سא 
وא"سאא‬
٠‫؟‬q )Y
}4‫<;א‬6' ‫א‬N
‚ ' 

‫„אل‬4‫ א‬

J +I!‫ وא‬prolog E F pL PF‫&>; و‬$ 3‫)  אא"د‬-
‫א"! 

د‬ 

F ‫א‘ "אא‬
young6J 'Au‫ و‬J١ 

٠(fee)‫א!م‬6J‫د‬6)4‫و‬rY'Au‫ و‬J٢ 

15


COMPREHENSIVE
SCHOOLS
OLDER
CHILDERN

STATE PRIMATY
YOUNG SCHOOL GRAMMARSC
CHILDREN HOOLS

SECONDARY
CTCS SCHOOLS
PREP
SCHOOLS
PRIMARY
SCHOOL

GOTO
CLEVER ACADEMIC
PUPILS PUPLIS
PUBLIC
SCHOOL

FREE PAYING
SCHOOL

16

٨
٢٣/٠٤/١٤٢٩ ‫ذآء إ‬-‫ ﻡﻡت‬-‫ﻡى ا‬-(٢)
‫ا‬

ako (prep_primary, primary_school). 

ako(prep_school,primary_school). 
ako(prep_scool,fee_paying_school). 
ako(public_school,fee_pahool). 

ako(ctc,sec_school). 

ako(grammar_school,sec_school). 
ako(comprehensive,sec_school). 
ako(public_school, sec_school). 
goto(clever). 

goto(clever_pupils,clc). 

goto(clever_pupils,grammar_school). 
goto(academic_pupils,school). 

goto(young_pupils,primary_school). 
goto(older_pupils,sec_school). 
(a)?-goto(young_pupils,type),ako(school,type). 
(b)?-goto(older-pupils,type)ako(school,type),not ako(school,fee-paying-school). 

17

DIETINGE‫<א‬Z‫ م‬,C
‫

د‬W
1 2:

3& =pL PFw
‫مא א 


'

د‬I!‫ א‬
W" l3& =‫ج‬I!‫א‬w،prolog
 )
٠4•‫א‬k C?5‫ @و‬Y}u<‫ א‬
٠
4‫'א‬Y$| !$ 
24‫ " א‬Y ‫ ص‬I]‫ א‬+ ٠ ‫ س‬C‫
 }و  א‬-Š‫ א‬5 
‫ن‬-+2<‫نא‬T ‫א‬٠3‫نאن& د‬C‹‫(אم<א‬7

w — | !]‫? و‬5‫
 وא@و‬4‫ن א‬Y}
= ) ‫ و‬4•‫ א‬k C
٠‫א) م‬OA-C‫ ل["א‬A]‫'א‬Y}
 +C…I ‫ن‬Z‫[אزنو‬3‫ نز د‬2<‫ صא‬I]‫ א‬$ 
٠‫وאن‬,
4‫نא‬C‹J 18