).

CiR, play R8)xeCCrnally

, 3, 7]-TR), (fyr1]
tx,FyA], F,fy,f,T,)og-,F,-,fy-,Fa,
NALLY').
t , Fy, Fx, Ma,2, tMY,
y,jugC1%,x,Fx,fy,F2)- xY,2, Me, Hy, (M, jug
tuely bqud the olnils , ain tioy Chally
Fy, Fucont
thot gtue
steps aspettuely.
so tqutd fa onits xy,2
ith filleo and ,
M2My, MxCoposkas offugo oGiven
3
N
Nx,Ny):Ey ts
y.), chk-,x,MyN,
Jug2. to gug forn
logtols
of! ugt Copocly
jug coker Sclie %
DIS
(T,CH|
R). A], *euocc A,i-R) ([HIT], doace
(L,C),R). Yevacc :-tou(1,
R)
mincy)
!.X29, Cx,,)
?- min
Coei Souwce
problern jug
No:. Page Date:
No. Expt.
Expt. No.
Date: Page No. :

Jug Ctayx, My, Y, Me, 2, Fr, Fy, FajT, )= chk(Mx, ,ty.Y, Nu,4)
not (onombe- CCve, Ny.t]) ,jg (Mx, Na, tMy, Ny,tMa,2,F,

jug (Mx, , My,y, M2,2. R,Fy, F2,T,R);- chkCMx ,x, M2, 2, N,M)
not Cmambev (CNy, NeJ)),juqCx a,tMyY, Mz,N2, f4, Fy,fe,
CCy,2]TJ.C'pocm Gqgtd form jugI tno jugs lR]).
My,N)
Jg CMx *, My. Y,M2,2, Fx, Fy, T;R):-chk(Hy,9, Ma, 2,
not(mombC[xiy,N] T)), Juq (Mz,%, My, Ny 1ML,N2, F, Fy2,
)chkCMy,y, Mex, Ny,
jug(,x,My,VM2.2.
N), nod CmombavCCn J7)) Sag(Ms, Nx, My, Ny,te,
4TRIMID YA P A R I S

jugi'2]) chk(He,?,M, x, a),

My,yM2, t, F,fy,RT,R)
ug(M,, ty, Y, M2, N2,
CNy,N],T)) Jg(M, M»,
etlnembov( Giquid foro jug3 intojg'8
F2.x,, JITJCpour
Fx,Fy. 2,R,fy,RTR) chk/Me,2, My, Y, Ne, y),
jug(MM, , My, Y,M2, jug(M, y, My,Ny, M,N2,F,Fy,F2,
Cmom bev ( x,Ny,],T)) lR).
jug2'
not jugs toto
CCy1)lr]c'Pouv tgid Ron
d'eplayCt)cg)- !. eileC).awvdlec':),CTR).
iplay(Cr)CRlR]): covileCT:),n, eplay
aee3
MANAGEMENT RollNo. 20:54
NOLOGYAND
Expt. No. ,
Date: Page No.

Sample alput:
8?- jug (8, S,3, 8,0, o, 44,0).
lzolly : [a.0.0) tnto juq 2 : C3, 5. D)
s,
Pour Gqutd on juq
jugi nto juq 3 : Co, 5,3]
pocir liqutd fon
Ciqchd
pur (iqid Porn Juqz. tnto jugi :[s.o, 3)
Ciquid
Poe jug into jug2 : (s,3,o]
Cquid focn uq3
jug : C2,3,3]
pour
Pau (tqutd -Rom ote jug2 : (2, 5, J
-Rorn
nto 2 :(4, I,0]
pouy
pocy Ciqutd Rornto
pouw Gqutd fem Aug2 :(4, 4o]
Frally: C4.4,0)

23/0:
 Expt. No, (2)
Date: Page No.

Poblem irt PRoLOGi.

Sovce Codei aa
proqiarn in proloq.
Re-1àc - voe
A
ath Cormpulor, type payo
T ploy a gormo
cormpulov pay a garmo coth iteltpe
.T6 coalch tho
. Sel game.,
qane. otnning Gontlions:
thot dalne the
t pedtcales Playev).
asn(Rondlayc):- tooin (loovd,
astn Coovd, Playe)a l a y e ) .
CPPlayev).
tococotn (d, Paye) Board Poyc«, Player, Playe,ppn.
osa', (Boovod, Payer) rd-Llayer,Player, Playe
Hosotn (ood, Payer): Roos Player, Playe, Paye.
l Coord loyer)-Bomd-Claye. Poye,, Paye.]
lainCod Pla):- Boand-.Alager,, Ployer, playe,
blosrCBod pagp) Berd=(- Playo., Nayev,, Playt-]
ago'n(ood playe-);- Raord[Poye,playev. Playe-).
dtagoto (eond, Paye), oovd (,Paye, laye, Playe«,
Holpirg peoh calo or alternabirg play in a 'se?m
othe(x,o)'
otho(o,x)
Expt. No. 0
Date: Page No. :

qone (Boovo, Playe) coin CBoovol Ployev), !.

covte CCplaye y, Player, co'ns]).
other Clayer, lhevplayev), rmove (Aoovd, Paye, hleabeo
,

csplay CNouboo-d).,
rroveCTb,8,c,D,e. F, G,H.T),player,
G. H,r]).
CPlaye, B. c,D,e, F,HoeA,Player,
rove (TA.b,c, D.¬. F, G. C,0,¬, F,6,u
noueCA,Bb. D,e. FG, HiIac Aidou A Playe,D,¬, F, G,H.T]).
mae(CA.B,cb,e.F,G.Ha ). Paye CA B playc, ¬, EG, H,T).
rmee ([A.B,c D,b, FG, F Pos EARAD,playey FG, HID).
rreue (CA. B,c D,¬. b,Gi. HXOyeaeD,e. Payey Gi, wi).
oe(CARGD,e,Fb, H,7, Poye [AB,cD,E, f, Playe, H).
rwe (tA.8,cD.e,fG, b.), Plye CA8, C, D,e.F. G, Playe, D
).
oe(CAB,cD,e.FG, Hb], Ploye, [AB, C, D,¬, F.G, PlayeJ).
display(Ca,B,c,.D,¬,F,6, 4, T7): H)),
covélo CCo.e,r) ). n aovile [t's,
corile (CA.s.).n, nl

slamc gone -(Cb,b.b,b. b.b, b, b, b], x),

Expt. No.
Date: Page No. :

kpredicotas to apport ploytng a game oth the usor

X_Con_on. o onolBov)movo (havd, Neabooo),
VThe potao opand goreoles tho amplos's
Cployigo) vesponse . rorn the amvent Beavd.
ovcspod CRoond Necoboo-d)i
rnove (Boavd, 0, esboov),
ofn CNocoboovd o), !.
:
orepond Choavd, Naoboovo) i
nove (ord, o, Nbcboovo)
not Cx_Con- con- in- one eobooN.
oopon CBoavd, Neayese
moue (Boo-o o, booba
Des pond CBovd, neobod RI
RIS

PAR

Dot (momber (3,Boov),

c'cosqome ! ),n, Nosboonol Boovd.
covito
/The Bluotng tronsloles Ron on nloger cascpbo
to o boov toany fovmolion.
tmove(b,B,c, D,6, EG,H,T] , (, 8,c, D, E,,G,H,F).
noveCCA,b,cD, e, EG,H,T), 2,[À, X,c, D,¬, F G, H.).
XmOve (CA8,b, D, ¬, HG,HI], 3,[A,8,x, D, ¬, FG, H7).
moe CCA,B,c, b, ¬, F,G,HJ7, 4, CA,8, C, x, .F,G, H, T).
X
H,T)).
rnove CCA,B,c, D,b,fG, H,], 5,[[A, B,c,D, x, F,G,
C[A.B,c, D, e, b, G, H], 6.[A B.c, D, ¬. X, G, k. ]).
move
RollNo. .2286142.4
satyaINSTITUTE OF TECHNOLOGY AND MANAGEMENT
Expt. No.
Date:
Page No. :

Xenove([A, B,CD,¬, F,b, H,TJ, 7, (A,B, c, D,¬. x, H,T).

eee(CA,, c,0,6, F,G,b.)8. aB,c. D, e, FG, M. r).
Xmove(CA,B,c. D,e, F,G, H, b7.9, (A.8,c, D, ¬, FG, H,x)
enove (Boovd , Boovd) cviloCTllegal move.'),nl.
The o-ploce predtcoto playo etovls aa gome sth the uoe.
Playo cuplato, ploy Rom(C3 &. b,b, b. bb,b,3)).
cplain orile C'You play xby entorig Tleger pouikms
flcsed by a peviod.). nl, daplayT,2,3.45,
G,t,2,9]).

a7s CT oin ).
playfron (ord)i ouoord, N, Noaboord),
oponCNeboond!
Neanaoboord), ploylbareaboaro ),
playfoneoreo boor).

TECHNOLOGY ANDMANAGEMENT RollNo. .22BslA2I)

satyaINSTITUTE OF
Expt. No.
Date: Page No. :

p-salgoro. Cx,0,×J
Cxb,b]
Cb,b.b) Co,x,o]
Cb,b,b)
Cxo,b] C,o,x]
Cb, b,b) Co, x,o)
[b,b,3) Cx,o,b)
,o,x]

Cb. 5,3)
IRIY PARIS

Co,b,b]

Co,x, b)

Cx,o,*]
Co,x,o)
Cb.b,5)

24/09/A
Expt. No.
Date:
Page No. :

n
Srnlenoalior ofsp vsing heumsle opproch
to Polog
ocecadei
cdg Cab,3).
edge o,di)
coe Co,e, ):
oe Ch.c ).

cdge Ch,e, ).
eohe Cool s).
edeCce s).
edye oe, ). PARI

eoe cb,a, 3).

eogeca,4).

cdge cb,).
age Ceh.3).
edge (oc,s).
ccheCec8).
edgeCah,a).
csgech,ol.
MANAGEMENT Roll No. 2.B6KISO9
satyaINSTITUTE OF TECHNOLOGY AND
Expt. No.
Date: Page No. :

Eb the longth R
of a Ceb, ashtle theve ts tomslhin

(or(C),o).
len (C+r]N)- len CTx), N's x+1.
Bat poth, &caled by ohortest. path. Tt sond il the pohs
Rnd tno poth, dstance ovmal/
bt-poth tslas slaepoth Ca, a, ltalel().
tsled
slado tola/).
&to the ned soppig
|the ketonee ond thon Yecurs
ocolion alng the po
PARIS

path(slorl Fen, Gursonllocisloo Castn, tolal)i

coye(slarl, slaploc, piulorea),Nbesosba ts ashy Ostere,
mmbor (sloploc, Cumest lo), poth Csboploc, Fn,
CstoploclCuend Joc],\sieo, eocostnTolal). malo thal
to tho ctorbg poin,
Iahen ase fhdo poth bock amo
te tolal ncodmoko th qoph hos touch every

poth Coloit En ,Carvod loc, V's:a, Castn Talol):

deletad. F, otsareo), tevevoe (CFnl avod loc]vslo),
Con Cuisteoa), (al-7-y"Total o looo0o ; Totali's
Colnsrea).
satyaNSTITUTE OF TECHNOLOGY AND MANAGEMENT RollNo. 4o.
Date:
Page No. : O
| s e calledto Rad the shovbesl poth, to bes al Hho
poths,Collets them tn haloa.Then call piek on thot
hod'er ahich gteko the shodad poth ond elns sl*
Gholelpath CRIh)- Set ol Caut-poth, besdpoth (sdb,
al), Holdo), pickCHaldor, Poh).
called, Cornpoves 2 stancos. cotis bmaller tban
beost, no neco to go on.Git it. *
bat Cost Holoer, BcostlGut.aldor):- aste Bosd, !.
best c,).
*akes he top poth agdostana flof ho halolbr
ond toavsuely calls A
Psdk CCCod toloorlCRBd-Bholdr), bosd
HSa.
PARIS

24/09/2
10:5:
Expt. No.
Date:
Page No. :

Using PROLDGI
banana
):monkey grosps
octslato Cmiddle, onbo',middle, hasnot). gvosp,
state CeoiddJle, onboy, idsle, has).
monkey tbs box
act Cstale CPonfloor, PH), ctrob, slate (P,onboy, P. H).
okey pshes box -Roro Rto Pr
push CP.,P),
sloto Ch,onfloor, 'SHAD

eronkay moues
adCstote CR,onfloor, PAR

oalk CP ,),
shole cPa,onflooy, S, Hi). con ge he banona
tho monkay
JofneCeamstul) hos
Carget Cototo C-.has).
Calalei) oct -del'on,
Cslote), sole1),
get
Conget (slotoi).

onget (slote (aloeo, onfloo, oteinodas, hasnat).

24/09/23
11:10