Skip to content

Instantly share code, notes, and snippets.

@trietptm
Created June 30, 2012 12:39
Show Gist options
  • Save trietptm/3023628 to your computer and use it in GitHub Desktop.
Save trietptm/3023628 to your computer and use it in GitHub Desktop.
Prolog test case
room(300,400,500).
object(monkey).
object(key).
object(cabinet).
object(box(b1,20)).
object(box(b2,40)).
at(loc(20,20,0),monkey).
at(loc(20,20,30),key).
at(loc(20,40,0),cabinet).
on(b2,floor).
at(loc(100,100,40),b1).
room(300,400,500).
object(monkey).
object(key).
object(cabinet).
object(box(b1,20)).
object(box(b2,40)).
at(loc(20,20,0),monkey).
at(loc(20,20,30),key).
at(loc(20,40,0),cabinet).
on(b2,floor).
at(loc(100,100,0),b1).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment