object SetPrologFlag: RuleWrapper<ExecutionContext> Fields Name Description val head: List<Term> val body: Term