A Python program that calculates the syntactic similarity between two Prolog programs. This similarity metric has been employed in the following paper, which is under review at EDBT 2025.
- Kouvaras A., Mantenoglou P., Artikis A., Generating Activity Definitions with Large Language Models.
There, the task was to compare logic programs specifying composite activity definitions in the language of the Run-Time Event Calculus (RTEC), i.e., a formal composite activity recognition framework written in Prolog.
This program comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions; See the GNU General Public License v3 for more details.
For more information and feedback, do not hesitate sending us an email or adding an issue in this repository.
- RTEC: Run-Time Event Calculus. RTEC is an Event Calculus implementation optimised for stream reasoning.
- iRTEC: Incremental RTEC. iRTEC supports incremental reasoning, handling efficiently the delays and retractions in data streams.
- oPIEC: Online Probabilistic Interval-Based Event Calculus. oPIEC supports Event Calculus reasoning over data streams under uncertainty.
- Wayeb: Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala. It is based on symbolic automata and Markov models.