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!

Register Log in
  • Congratulations biv343 on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!

Search results for query: *

  • Users: Whimsical
  • Content: Threads
  • Order by date
  1. Whimsical

    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...
  2. Whimsical

    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...

Part and Inventory Search

Back
Top