Tek-Tips is the largest IT community on the Internet today!
Members share and learn making Tek-Tips Forums the best source of peer-reviewed technical information on the Internet!
-
Congratulations Mike Lewis on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!
-
Prolog syntax and lists
Thanks a ton for your help, I think I have the program mostly figured out. I am trying to do stacked as a recursive function, so far I have stacked([], Y) :0 \on+(_, Y). stacked([Z | _], N):- on(Z, N), stacked([], Z). It works in cases where there are 0-1 blocks stacked on another, but... -
-
Prolog syntax and lists
I am trying to write a program that describes a scenario where a bunch of blocks are stacked on top of each other, and on 4 different "places" this is what I have so far: block(a). block(b). block(c). block(d). block(e). block(f). block(g). place(p1). place(p2). place(p3). place(p4). on(a... -
Clausal Form?
Does anyone know how to convert prolog databases to clausal form? I have an assignment where I need to do an SLDNF proof, but before I can do that I need to convert some facts and rules from a prolog program into clausal form. My teacher gave us a 4 step process to do it but in the example he...
