RTEC: Run-Time Event Calculus

RTEC is an extension of the Event Calculus that supports highly-scalable stream processing. It is written in Prolog and has been tested under YAP 6.2.


RTEC comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions; see the GNU Lesser General Public License v3 for more detail


  • Interval-based.
  • Sliding window reasoning.
  • Interval manipulation constructs for non-inertial fluents.
  • Caching for hierarchical knowledge bases.
  • Support for out-of-order data streams.
  • Indexing for robustness to irrelevant data.