o(go_on(ACTOR,j(E)),STEP) :- event(E,take,11), happened(E), event_actor(E,ACTOR), suggested_step(E,STEP). trip(j(E)) :- event(E,take,11), happened(E). actor(go_on(ACTOR,j(E)),ACTOR) :- event(E,take,11), happened(E), event_actor(E,ACTOR). origin(j(E),ORIGIN) :- event(E,take,11), happened(E), parameter(E,from,ORIGIN). dest(j(E),DEST) :- event(E,take,11), happened(E), parameter(E,to,DEST). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % To answer the query we will use the rules: yes :- type_query(Q,boolean), answer_true(Q). no :- type_query(Q,boolean), answer_false(Q). maybe :- type_query(Q,boolean), not yes, not no. % together with Smodels display directives %hide. %show yes, no, maybe.