legalruleml transaction logic logic programming tabling semantics complex event processing
See more