-
8/19/2019 exp4_5
1/6
EXPERIMENT-5
AIM:- Write a program to implement the water jug
problem.
our!e "o#e:-
state(A,B,0,0):- A=:=0, B=:=0, write('Empty
Jug [0,0]\n'), !,write('Ga state
rea"#e$\n')%state(A,B,0,0):- write('Empty Jug
[0,0]\n'), (state(A,B,0,&) state(A,B,,0))%
state(A,B,0,&):- A=:=0, B=:=&,
write('i & t *ug [0,&]\n'), !,write('Ga +tate
ea"#e$\n')%state(A,B,0,&):- write('i & t *ug
[0,&]\n'), (state(A,B,&,0)
state(A,B,,&))%
state(A,B,&,0):- A=:=&, B=:=0,
write('Empty & t *ug int t *ug [&,0]\n'), !,write('Ga
state rea"#e$\n')%state(A,B,&,0):- write('Empty & t
*ug int t *ug [&,0]\n'), (state(A,B,&,&)
state(A,B,,0))%
state(A,B,,&):- A=:=, B=:=&, write('i
t *ug [,&]\n'), !,write('Ga +tate ea"#e$\n')%
state(A,B,,&):- write('i t *ug [,&]\n'),
state(A,B,,0)%
state(A,B,&,&):- A=:=&, B=:=&,
write('i & t *ug [&,&]\n'), !,write('Ga state
rea"#e$\n')%
-
8/19/2019 exp4_5
2/6
state(A,B,&,&):- write('i & t *ug
[&,&]\n'), state(A,B,,)%
state(A,B,,):- A=:=,
B=:=, write('i t *ug .rm & t *ug [,]\n'),
!,write('Ga state rea"#e$\n')%state(A,B,,):- write('i t
*ug .rm & t *ug [,]\n'), state(A,B,0,)%
state(A,B,0,):- A=:=0, B=:=, write('Empty t
*ug [0,]\n'), !,write('Ga state rea"#e$\n')%
state(A,B,0,):- write('Empty t *ug [0,]\n'),
state(A,B,,0)%
state(A,B,,0):- A=:=, B=:=0, write('Empty
& t *ug int t *ug [,0]\n'), !,write('Ga state
rea"#e$\n')%state(A,B,,0):- write('Empty & t *ug int t
*ug [,0]\n'), state(A,B,,&)%
state(A,B,,&):- A=:=, B=:=&, write('i
& t *ug [,&]\n'), !,write('Ga state rea"#e$\n')%
state(A,B,,0):- A=:=, B=:=0, write('i t *ug
[,0]\n'), !,write('Ga +tate ea"#e$\n')%state(A,B,,0):-
write('i t *ug [,0]\n'), (state(A,B,/,&)
state(A,B,,&))%
state(A,B,/,&):- A=:=/, B=:=&,
write('i & t *ug .rm t *ug [/,&]\n'), !,write('Ga
+tate ea"#e$\n')%
-
8/19/2019 exp4_5
3/6
state(A,B,/,&):- write('i & t *ug .rm t *ug
[/,&]\n'), (state(A,B,/,0) state(A,B,0,&))%
state(A,B,/,0):-
A=:=/, B=:=0, write('Empty & t *ug
[/,0]\n'), !,write('Ga +tate
ea"#e$\n')%state(A,B,/,0):- write('Empty & t *ug
[/,0]\n'), state(A,B,0,/)%
state(A,B,0,/):- A=:=0, B=:=/, write('Empty t
*ug int & t *ug [0,/]\n'),
!,write('Ga +tate ea"#e$\n')%state(A,B,0,/):-
write('Empty t *ug int & t *ug [0,/]\n'),
state(A,B,,/)%
state(A,B,,/):- A=:=, B=:=/, write('i t *ug
[,/]\n'), !,write('Ga +tate ea"#e$\n')%state(A,B,,/):-
write('i t *ug [,/]\n'), state(A,B,,&)%
state(A,B,,&):- A=:=, B=:=&, write('i
& t *ug .rm t *ug [,&]\n'), !,write('Ga +tate
ea"#e$\n')%state(A,B,,&):- write('i & t *ug .rm t *ug
[,&]\n'), state(A,B,&,)%
state(A,B,&,):- A=:=&,
B=:=, write('+wap an$ & t *ugs
[&,]\n'), !,write('Ga +tate ea"#e$\n')%
-
8/19/2019 exp4_5
4/6
11
$utput:
2- "nsut('water*ugn%p')%true%
2- state(,0,0,0)%Empty Jug [0,0]i & t *ug [0,&]Empty
& t *ug int t *ug [&,0]i & t *ug [&,&]i t *ug
.rm & t *ug [,]Empty t *ug [0,]Empty & t *ug int t *ug
[,0]Ga state rea"#e$true %
1
-
8/19/2019 exp4_5
5/6
EXPERIMENT-%
AIM: - 3e.ine ist peratin an$ ist transatin%
our!e "o#e:
engt#([],0)%
engt#([4ea$56ai],7):- engt#(6ai,8), 7 is /98%
ast([],)%ast([;56],7):- ast(6,7)%
mem), appen$([],[>],)%
isttran(,):- =[4ea$56ai], tran(4ea$,>),
isttran(6ai,Ans), appen$([>],Ans,)%
-
8/19/2019 exp4_5
6/6
