RuleTerm

The term of the module RuleModule as Kotlin reads and builds it (see RuleModule)

Functions

fun of(parts: List): Clause?

The clause of a rule or premise from the list in its body, Id, Premises, Conclusion or Id, Conclusion

fun premise(id: Term, conclusion: Term): Clause

The clause of the premise id, concluding conclusion

fun rule(id: Term, premises: Term, conclusion: Term): Clause

The clause of the rule id, concluding conclusion from premises (a conjunction)