Builds a MutableTheory out of clauseFunctions, one per clause. Otherwise identical to theory, down to how each lambda is run and its result converted via toClause; delegates to TheoryFactory.mutableTheoryOf (via theoryFactory).

mutableTheoryOf

open fun mutableTheoryOf(clauses: Iterable<Clause>, vararg otherClauses: Iterable<Clause>): MutableTheory

open fun mutableTheoryOf(clauses: Sequence<Clause>, vararg otherClauses: Sequence<Clause>): MutableTheory

Overload of TheoryFactory.mutableTheoryOf concatenating clauses and otherClauses into one MutableTheory.

open fun mutableTheoryOf(clauses: Iterable<Clause>): MutableTheory

open fun mutableTheoryOf(clauses: Sequence<Clause>): MutableTheory

open fun mutableTheoryOf(vararg clauses: Clause): MutableTheory

abstract fun mutableTheoryOf(unificator: Unificator, vararg clauses: Clause): MutableTheory

abstract fun mutableTheoryOf(clauses: Iterable<Clause>, unificator: Unificator): MutableTheory

abstract fun mutableTheoryOf(clauses: Sequence<Clause>, unificator: Unificator): MutableTheory

naf

open fun naf(goal: Any): Struct

natural

open fun natural(number: Any): Struct

neq

open infix fun Any.neq(right: Any): Struct

newScope

abstract fun newScope(): LogicProgrammingScope

nid

open infix fun Any.nid(right: Any): Struct

nonGreaterThan

open infix fun Any.nonGreaterThan(other: Any): Struct

nonLowerThan

open infix fun Any.nonLowerThan(other: Any): Struct

nonvar

open fun nonvar(number: Any): Struct

not

open fun not(goal: Any): Struct

notEqualsTo

open infix fun Any.notEqualsTo(other: Any): Struct

number

open fun number(number: Any): Struct

number_chars

open fun number_chars(first: Any, second: Any): Struct

number_codes

open fun number_codes(first: Any, second: Any): Struct

numOf

abstract fun numOf(value: Byte): Integer

abstract fun numOf(value: Double): Real

abstract fun numOf(value: Float): Real

abstract fun numOf(value: Int): Integer

abstract fun numOf(value: Long): Integer

abstract fun numOf(value: Number): Numeric

abstract fun numOf(value: Short): Integer

abstract fun numOf(value: String): Numeric

abstract fun numOf(value: BigDecimal): Real

abstract fun numOf(value: BigInteger): Integer

open fun op(precedence: Any, specifier: Any, functor: Any): Struct

open infix fun Any.or(other: Any): Struct

plus

open operator fun Term.plus(other: Any): Struct

open operator fun Boolean.plus(other: Any): Struct

open operator fun Char.plus(other: Any): Struct

open operator fun Number.plus(other: Any): Struct

pow

open infix fun Any.pow(other: Any): Struct

realOf

abstract fun realOf(value: Double): Real

abstract fun realOf(value: Float): Real

abstract fun realOf(value: String): Real

abstract fun realOf(value: BigDecimal): Real

rem

open infix operator fun Term.rem(other: Any): Struct

open infix operator fun Boolean.rem(other: Any): Struct

open infix operator fun Char.rem(other: Any): Struct

open infix operator fun Number.rem(other: Any): Struct

open infix operator fun String.rem(other: Any): Struct

retract

open fun retract(clause: Any): Struct

retractall

open fun retractall(clause: Any): Struct

rule

open fun rule(function: LogicProgrammingScope.() -> Any): Rule

ruleOf

abstract fun ruleOf(head: Struct, body1: Term, vararg body: Term): Rule

scope

open fun <R> scope(function: LogicProgrammingScope.() -> R): R

set_flag

open fun set_flag(name: Any, value: Any): Struct

set_prolog_flag

open fun ~~set_prolog_flag~~(name: Any, value: Any): Struct

setof

open fun setof(template: Any, goal: Any, bag: Any): Struct

solve

open fun solve(goal: Any): Struct

static

open fun static(indicator: Any): Struct

structOf

abstract fun structOf(functor: String, args: Iterable<Term>): Struct

abstract fun structOf(functor: String, args: List<Term>): Struct

abstract fun structOf(functor: String, args: Sequence<Term>): Struct

abstract fun structOf(functor: String, vararg args: Term): Struct

open fun structOf(functor: String, vararg args: Any): Struct

sub_atom

open fun sub_atom(atom: Any, before: Any, length: Any, after: Any, sub_atom: Any): Struct

substitutionOf

abstract fun substitutionOf(assignments: Iterable<Pair<Var, Term>>): Substitution

abstract fun substitutionOf(assignments: Sequence<Pair<Var, Term>>): Substitution

abstract fun substitutionOf(vararg assignments: Pair<String, Term>): Substitution

sup

open infix fun Any.sup(other: Any): Struct

then

open infix fun Any.then(other: Any): Struct

theory

open fun theory(vararg clauseFunctions: LogicProgrammingScope.() -> Any): Theory

Builds a Theory out of clauseFunctions, one per clause: each lambda runs with a fresh newScope as its receiver, and its result is coerced into a Clause via toClause — so it may return an already-built Clause (from it.unibo.tuprolog.core.Scope.factOf/it.unibo.tuprolog.core.Scope.ruleOf/ it.unibo.tuprolog.core.Scope.directiveOf) or a plain it.unibo.tuprolog.core.Struct, as shown in this interface's example. Delegates to TheoryFactory.theoryOf (via theoryFactory) for the actual construction.

theoryOf

open fun theoryOf(clauses: Iterable<Clause>, vararg otherClauses: Iterable<Clause>): Theory

open fun theoryOf(clauses: Sequence<Clause>, vararg otherClauses: Sequence<Clause>): Theory

Overload of TheoryFactory.theoryOf concatenating clauses and otherClauses into a single Theory.

open fun theoryOf(clauses: Iterable<Clause>): Theory

open fun theoryOf(clauses: Sequence<Clause>): Theory

open fun theoryOf(vararg clauses: Clause): Theory

abstract fun theoryOf(unificator: Unificator, vararg clauses: Clause): Theory

abstract fun theoryOf(clauses: Iterable<Clause>, unificator: Unificator): Theory

abstract fun theoryOf(clauses: Sequence<Clause>, unificator: Unificator): Theory

throw

open fun throw(error: Any): Struct

times

open operator fun Term.times(other: Any): Struct

open operator fun Boolean.times(other: Any): Struct

open operator fun Char.times(other: Any): Struct

open operator fun Number.times(other: Any): Struct

open operator fun String.times(other: Any): Struct

open infix fun Var.to(termObject: Any): Substitution.Unifier

open infix fun String.to(termObject: Any): Substitution.Unifier

toClause

open fun Any.toClause(): Clause

Converts this value into a Clause: returned as-is if it.unibo.tuprolog.dsl.BaseLogicProgrammingScope.toTerm already yields a Clause (e.g. a it.unibo.tuprolog.core.Rule, it.unibo.tuprolog.core.Fact or it.unibo.tuprolog.core.Directive), or wrapped into a headless-body Clause via it.unibo.tuprolog.core.Scope.clauseOf if it is a plain it.unibo.tuprolog.core.Struct (mirroring how it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.fact wraps a bare it.unibo.tuprolog.core.Struct via it.unibo.tuprolog.core.Scope.factOf).

toSpecificSubTypeOfTerm

open fun <T : Term> Any.toSpecificSubTypeOfTerm(type: KClass<T>, converter: (Struct) -> T): T

toTerm

open fun Any.toTerm(): Term

truthOf

abstract fun truthOf(value: Boolean): Truth

tupleOf

abstract fun tupleOf(terms: Iterable<Term>): Tuple

abstract fun tupleOf(terms: Sequence<Term>): Tuple

abstract fun tupleOf(vararg terms: Term): Tuple

open fun tupleOf(vararg terms: Any): Tuple

unifierOf

abstract fun unifierOf(assignments: Iterable<Pair<Var, Term>>): Substitution.Unifier

abstract fun unifierOf(assignments: Sequence<Pair<Var, Term>>): Substitution.Unifier

abstract fun unifierOf(vararg assignments: Pair<String, Term>): Substitution.Unifier

unify

open fun unify(term1: Any, term2: Any, occurCheckEnabled: Boolean): Term?

open fun unify(term1: Term, term2: Term): Term?

open fun unify(term1: Term, term2: Term, occurCheckEnabled: Boolean): Term?

unifyWith

open infix fun Any.unifyWith(other: Any): Term?

univ

open infix fun Any.univ(other: Any): Struct

var

open fun var(term: Any): Struct

varOf

abstract fun varOf(name: Char): Var

abstract fun varOf(name: String): Var

whatever

abstract fun whatever(): Var

where

abstract fun where(lambda: Scope.() -> Unit): Scope

with

abstract fun <R> with(lambda: Scope.() -> R): R

write

open fun write(term: Any): Struct

LogicProgrammingScope

See also

Inheritors

Types

Properties

Functions