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.
License
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
Features
- 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.