Skip to content

Instantly share code, notes, and snippets.

@cflewis

cflewis/gist:316500

Created February 27, 2010 05:35
Show Gist options
  • Save cflewis/316500 to your computer and use it in GitHub Desktop.
Save cflewis/316500 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
#domain object(O), position(P).
#hide object(O).
at_position(O, P) :- translate(O, P).
at_position(O, ground) :- fall(O).
object(mario).
position(ground).
:- fall(O), translate(O, P).
{fall(O)}.
{translate(O, P)}.
compute{ at_position(mario, ground) }.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment