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

ConversionUtils

Functions

fun commonMap(context: Solve.Request<ExecutionContext>, first: Term, force: Boolean = false, mapper: (Iterable<IndexedValue<Clause>>, LogicProgrammingScope) -> Term): Sequence<Substitution>

isPrologFact

fun isPrologFact(clause: Clause): Boolean

Whether clause is a Prolog fact, rather than a rule, a premise or an axiom written in the language of arg2p

modifiers

fun modifiers(target: Clause, context: Solve.Request<ExecutionContext>): Term

ruleId

fun ruleId(index: Int): String

The identifier of the rule a Prolog clause stands for: from its position in the theory, the same at each conversion