StateRuleExecution

constructor(context: PrologExecutionContext)