RTEC is an open-source Event Calculus dialect optimised for stream reasoning written in Prolog.
Prob-EC is a system based on ProbLog and Event Calculus optimised for event recognition under uncertainty.
ILED is an incremental Inductive Logic Programming system. It has been designed for scalable learning of logical theories from large amounts of sequential data with a time-like structure. ILED has been designed having in mind the construction of knowledge for event recognition applications, in particular, learning Event Calculus theories, but it can practically be used within any domain where ILP is applicable.
OLED is an online ('single-pass') Inductive Logic Programming system for learning logical theories from data streams. It has been designed having in mind the construction of knowledge bases for event recognition applications, in the form of domain-specific axioms in the Event Calculus, i.e. rules that specify the conditions under which simple, low-level events initiate or terminate complex event. However, OLED can practically be used within any domain where ILP is applicable (preferably, large volumes of sequential data with a time-like structure).