0% found this document useful (0 votes)
18 viewsAi Program 08-Oct-2024 20-32-16
H
Uploaded by
pagalayush2Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF or read online on Scribd
0% found this document useful (0 votes)
18 viewsAi Program 08-Oct-2024 20-32-16
H
Uploaded by
pagalayush2Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF or read online on Scribd
/ 7
Expos - wo
Crake chow: ze ee a. E 4
hamguage a the bast Aynto- ce Proteg Programming
G) Quamnbels : — Pr Enpressions wu comprised the
e i ee Sedan Symbols ae Joue the
. : . me .
Adme imterpretahiov as sv the predicate eoLesne
‘ Leas Cafebus PROLOG
trpbisly Prrecdus fe
ame
ee Mi }
if a ‘3
not u net
Q)vaswables and Names: —
+ Voxiabler begin vith an ubbercase they
+ Predicate mame , function names, and the mames BE
objects must begin cate o Lowercase Letter Rules
fox forming crame ara Ame Of fox the predicate oles -
Example: — mother of
molt
Remok
geeoter_tron
ot bo predicote ate thot makes
= . trtement abst the problem cdlemaiw. |
ee te i Paetog expression, tt
is U6! te be aan omtift ah é
Ne peared emten ae end with o@ period.
ERE johen used | # debe Likes susie */
(b) iken(K, SUS) + | fueryene flukes Susie
ce) Lakes (Teh, Y), Jakes (Y,Tehn), [#aehm Liles eveaybo
amd. ov cy Lien i mr
CA) Aiken (gob, susie) 5 Likeo(aebm, may). [ox aebr Likes
; ; . Ausie or John Likes omaay %
ceynet (Like (gehn, pizza)). [& John dou vot Uke p be
(of) dikes Ciahen, susie) i—Liken (jehm,»nasy). is
purie if TehN Liler Noy The Loft hamd- side is rextrictrd te 0. single , b'
c & peattive ater
2% The netabien is known as Horn «Louse Im Hob
Len"
et
CH) Ruiebi— A rule is a predicate & A @
Agi oxi tiers UNA diane «lace
on Bile ope Var ya cc ko ala ora
eng 4a «TRA & Poi Peds HaRes the Roe
Soft — hand side :— i —_ Somd side
Tis sentence is interpreted. as: Loft Jramd. — side of
suighcs — rad. pide
sitive,
p ab ynurt conse i
eA be megadid amd, iit: wammnet
ALOU se
Lidsxol , which mon
Rupresstery de scomn
Legicol connectives .
Logic, the Loft hard Bids of the tose io the chusie
on amuse be o simele peribwe esol The ri bord aide
sonbains ah bee. eee
eqpivokurct Ap the Poet —exdev predicate cols.
Exambler of valid sulla: —
COD Priemda (KY) 2= Likes(X/Y), Biker OX) +
[# XKand Yare Frienda iP they dike each other *|
(b) rater (%)¥) . = ant (bikea(X, ¥)) «
[eX haben ¥ AR X doa met Bike 1)
ce owerte oP (%/¥) : — father 0P (KY) «
cd) parent —o (Ky) . - emother_of (XY).
Axampler of Imvad yults.— ™ |
Co) Bape oP RY) = pught—of (7, %) emiaaing aperiedy
(b) piker (XY), Likea(%X) Prien a(X,¥). evs amet
single isx0l >|
ce) nob( dikes (x9): — aden, ¥). be LiSaoeee
. 3 miegocted:
® Gua Ua froteg Artes prey suspends te Qe absut
the cts amd rurlis supsesentd aw ita dati bast), The
qLatabare 48 ousurred. to sepsexent hot +4 bu abeuk
ain dn making 0. query, your
Oo farticutar pavblem dem
ase asking Pyoleg uthsthes cam ve Hot 9 gure
os Foust "Ye oe Omswerb aes i sage ond
a Variable bindings that Jt made iw coming up with &)
the Omsusex. Lf it foils ste breve the query os pure it
Omswcesk (No. 4
“togan plea
Subbose eur hata bare consists of the Faliocsing forts:
other _ of (foe, pat).
Father of (gee, rary).
‘mothes_of (joe, pout).
mother of (jome, onary) fs
2 — Pother_oF (joe, Pat).
Yea
2 — fedhes— oF C pawl ymnasy) .
ne
2 — Rather — oP (X,™07y)
"X= doe
Yea
SION ! on A
cams bg rgeng
pes coorksineg eruirenment . Pe lg OT eee ee eee ee eee
tapeument -2 “wy
ascites, i a nite
inte fos the tase sig
Statements :
CO) tom is oa cat.
(b) Kumat Lever to cat posto .
Cc) Hair of black cofeur .
(A) Bat biker Cindy.
Se *fovek te play parmnes .
CP) Reham is fary.
3) Seema is a gue i
Im blemerrtation &
Clauses :
co) cot (ten),
(b) Loven te—eat (kunt, foste).
Ce) of _ ceteur (Hair , black).
(A) Liker (Bil , 4,
N41 Ja N-1,
N2 is N-2y
Pibbenacei( N41, Faye
Fabbenacel (N2,F2),
Fu FL+e2. point — fib (1, NJ -
T
