Giters

aartikis / RTEC

RTEC is an Event Calculus implementation optimised for stream reasoning

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Manual example

yvoawk opened this issue · comments

commented

I'm seeking clarification on the RTEC example provided in the manual.
Specifically, in response to the query "?- holdsFor(happy(chris)=true,I)," I hold the inclination that it shouldn't have a specified end time. My rationale behind this is the absence of any rule defining the termination of the 'location' fluent.

Thank you!