legalruleml transaction logic logic programming tabling semantics complex event processing
Tout plus