SimplEC is a simplified Event Calculus dialect. An event description in simplEC can be compiled into the RTEC format and subsequently used for narrative assimilation. SimplEC has been developed with view to making the writing of Composite Event patterns for Event Recognition purposes easier.

SimplEC 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 details.

1. SWI-Prolog (preferably version 7.x)
2. GraphViz
3. RTEC

To compile a set of simplEC rules into the compiled RTEC format, please make sure that you include the following files in your working directory:

• a text file containing the set of simplEC rules, say "sample_rules.txt"
• the SimplEC source files "simplEC.prolog" and "compile.sh"
• the RTEC source files, in a subdirectory named "RTEC/"

Afterwards, you can execute the corresponding bash script, as follows:

user@machine:your/working/directory$ bash compile.sh sample_rules.txt 16.0

SimplEC needs 2 arguments as input: The input rules in simplEC and the desired font size in the dependency graph. In the above example the SimplEC statements are in the "sample_rules.txt" file and the desired font size in the resulting dependency graph is 16.0. The procedure produces 6 files in the output:

1. RTEC-compatible action descriptions.
2. RTEC-compatible declarations.
3. Compiled action descriptions.
4. Dependency graph (png format).
5. Dependency graph (GraphViz source).
6. Log file reporting any compilation errors.

• Vlassopoulos C. and Artikis A. Towards A Simple Event Calculus for Run-Time Reasoning. Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, COMMONSENSE 2017, London, UK, November 6-8, 2017.

• RTEC
• ScaRTEC