/ * Program ;; Truth Maintenance System */
predicates
buy(string)
money ( string ) ,,
colour(string)
model(string)
loan(string).
1ikes ( string ) ,,
1model(string).
install(string).
cash(string).
prl
pr2
pr4
pr5
pr6
pr8
pr
main
clauses
main :
clearwindow,
writeC'Want to buy a Bike?\n"),
read In ( Ans} ,, buy (Ans) , prl.
main:-pr,
prl:- write("Do you have money?\n"),
read 1n(Ans),money(Ans),pr2.
prl:- writeC'Want to take loan?\n" ) ,
read In ( Ans) ,, loan ( Ans 5 ,, pr2
pr2 : - write( "Prefer Colour \n") ,
read 1n ( Ans ) ,, co1our ( Ans ),pr4 .
pr2:- write("Prefer Model\n"),
readln(Ans),model(Ans),pr5.
pr4:- write( "Likes colour\n" ) ,
readln(Ans),likes(Ans),pr6.
pr5:- write("Likes Model\n"),
read ln ( Ans ) ,1 model ( Ans } , pr2 .
pr5:- pr.
pr6:- writeC'By Installment\n"),
read In (Ans ) , instal1(Ans) , pr8.
pr6:- write( "By Cash \n" ) ,
readln(Ans) ,cash ( Ans) ,pr8.
pr6:- pr.
Pr8- write("You can Take Your Bike\n").
pr:- write("You can't buy bike\n").
buy("yes").
money("yes").
colour ( "yes" ).
model("yes").
loan("yes").
likes("yes").
1model("yes").
install("yes").
cash("yes").