Toggle navigation
Logout
fluents has/2, near/2. events becomeHungry/1, beNear/2. actions sing/1, obtain/2, eat/2, praise/2, pickUp/2. food(cheese). initially has(crow, cheese). observe becomeHungry(fox) from 1. if becomeHungry(Agent) then food(X), obtain(Agent, X), eat(Agent, X). if praise(Agent, crow) then sing(crow). obtain(Agent, Object) if beNear(Agent, Object), near(Agent, Object), pickUp(Agent, Object). beNear(fox, cheese) if has(crow, cheese), praise(fox, crow). sing(crow) terminates has(crow, cheese) if has(crow, cheese). sing(crow) initiates near(fox, cheese) if has(crow, cheese). pickUp(Agent, Object) initiates has(Agent, Object). /** <examples> ?- go(Timeline). */