dsl-core/it.unibo.tuprolog.dsl/MinimalLogicProgrammingScope/factOf

factOf

open fun factOf(term: Any): Fact

Overload of it.unibo.tuprolog.core.Scope.factOf accepting a plain value, toTerm-ing term.

Throws

ClassCastException

if term does not toTerm into a Struct.