core/it.unibo.tuprolog.argumentation.core.primitives.graph.language/RuleToClauseNatural

RuleToClauseNatural

object RuleToClauseNatural : BinaryRelation.WithoutSideEffects<ExecutionContext>

ruleToClauseNatural(+Rules, -Clauses): as ruleToClause/2, with naturalTerms: the statements written as text are turned into terms, the words in upper case and in brackets becoming their arguments

Types

TemplateExtractor

class TemplateExtractor

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

functor

val functor: String

help

open val help: String

implementation

override val implementation: Primitive

signature

val signature: Signature

Functions

parseTerm

fun parseTerm(extractor: RuleToClauseNatural.TemplateExtractor, target: List<Term>): List<Term>