RTEC: Run-Time Event Calculus

By Alexander Artikis

RTEC is an open-source Event Calculus dialect optimised for data stream reasoning. It is written in Prolog and has been tested under YAP and SWI Prolog.

GitHub repository: https://github.com/aartikis/RTEC


  • 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 handling efficiently irrelevant data.



RTEC has been used for: