dsl-unify/it.unibo.tuprolog.dsl.unify/LogicProgrammingScope

LogicProgrammingScope

interface LogicProgrammingScope : MinimalLogicProgrammingScope<LogicProgrammingScope> , LogicProgrammingScopeWithSubstitutions<LogicProgrammingScope> , LogicProgrammingScopeWithPrologStandardLibrary<LogicProgrammingScope> , LogicProgrammingScopeWithOperators<LogicProgrammingScope> , LogicProgrammingScopeWithVariables<LogicProgrammingScope> , LogicProgrammingScopeWithUnification<LogicProgrammingScope>

Full term-construction and unification scope of :dsl-unify's Prolog DSL: composes :dsl-core's scope mixins (MinimalLogicProgrammingScope, LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithVariables — none of which know anything about unification) with LogicProgrammingScopeWithUnification, so an it.unibo.tuprolog.unify.Unificator's operations (bare, or through the mguWith/matches/unifyWith sugar) are available alongside the rest of the DSL, all self-referentially typed so chained calls keep resolving to this same, richer scope.

logicProgramming/lp are the idiomatic way to obtain and use one, optionally choosing which Unificator strategy governs it; of and empty exist for callers that need to plug in a custom Termificator, VariablesProvider or Unificator (or build a scope without immediately entering it). it.unibo.tuprolog.dsl.LogicProgrammingScope.withUnification upgrades an existing :dsl-core scope into one of these, reusing its underlying Scope/Termificator/VariablesProvider.

Types

Companion

object Companion

Properties

open val _: Var

abstract val A: Var

at_end_of_stream

open val at_end_of_stream: Atom

abstract val B: Var

abstract val C: Var

context

abstract val context: Substitution

cut

open val cut: Atom

abstract val D: Var

abstract val E: Var

emptyBlock

abstract val emptyBlock: EmptyBlock

emptyLogicList

abstract val emptyLogicList: EmptyList

abstract val F: Var

fail

abstract val fail: Truth

abstract val G: Var

abstract val H: Var

halt

open val halt: Atom

abstract val I: Var

abstract val J: Var

abstract val K: Var

abstract val L: Var

abstract val M: Var

abstract val N: Var

open val nl: Atom

abstract val O: Var

abstract val P: Var

abstract val Q: Var

abstract val R: Var

repeat

open val repeat: Atom

abstract val S: Var

scope

abstract val scope: Scope

abstract val T: Var

termificator

abstract val termificator: Termificator

abstract val U: Var

unificator

abstract val unificator: Unificator

abstract val V: Var

variables

abstract val variables: Map<String, Var>

variablesProvider

abstract val variablesProvider: VariablesProvider

abstract val W: Var

abstract val X: Var

abstract val Y: Var

abstract val Z: Var

Functions

abolish

open fun abolish(indicator: Any): Struct

and

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

anonymous

abstract fun anonymous(): Var

append

open fun append(left: Any, right: Any, result: Any): Struct

arg

open fun arg(index: Any, compound: Any, argument: Any): Struct

arithEq

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

arithNeq

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

assert

open fun assert(clause: Any): Struct

asserta

open fun asserta(clause: Any): Struct

assertz

open fun assertz(clause: Any): Struct

at_end_of_stream

open fun at_end_of_stream(alias: Any): Struct

atom

open fun atom(atom: Any): Struct

atom_chars

open fun atom_chars(atom: Any, chars: Any): Struct

atom_codes

open fun atom_codes(atom: Any, codes: Any): Struct

atom_concat

open fun atom_concat(first: Any, second: Any, result: Any): Struct

atom_length

open fun atom_length(atom: Any, length: Any): Struct

atomic

open fun atomic(atomic: Any): Struct

atomOf

abstract fun atomOf(value: Char): Atom

abstract fun atomOf(value: String): Atom

bagof

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

between

open fun between(min: Any, max: Any, number: Any): Struct

blockOf

abstract fun blockOf(terms: Iterable<Term>): Block

abstract fun blockOf(terms: Sequence<Term>): Block

abstract fun blockOf(vararg terms: Term): Block

open fun blockOf(vararg terms: Any): Block

call

open fun call(goal: Any): Struct

callable

open fun callable(goal: Any): Struct

catch

open fun catch(goal: Any, error: Any, continuation: Any): Struct

char_code

open fun char_code(char: Any, code: Any): Struct

clause

open fun clause(head: Any, body: Any): Struct

open fun clause(function: LogicProgrammingScope.() -> Any): Clause

clauseOf

abstract fun clauseOf(head: Struct?, vararg body: Term): Clause

compound

open fun compound(struct: Any): Struct

consOf

abstract fun consOf(head: Term, tail: Term): Cons

open fun consOf(head: Any, tail: Any): Cons

consult

open fun consult(url: Any): Struct

contains

abstract operator fun contains(variable: Var): Boolean

abstract operator fun contains(variable: String): Boolean

open operator fun Substitution.contains(term: Any): Boolean

containsKey

open fun Substitution.containsKey(term: Any): Boolean

containsValue

open fun Substitution.containsValue(term: Any): Boolean

copy

abstract override fun copy(scope: Scope): LogicProgrammingScope

abstract fun copy(unificator: Unificator): LogicProgrammingScope

Creates a copy of this scope, backed by the same it.unibo.tuprolog.core.Scope, using unificator instead of the current one.

copy_term

open fun copy_term(term: Any, copy: Any): Struct

current_flag

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

current_op

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

current_prolog_flag

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

directive

open fun directive(function: LogicProgrammingScope.() -> Any): Directive

directiveOf

abstract fun directiveOf(body1: Term, vararg body: Term): Directive

open fun directiveOf(term: Any, vararg terms: Any): Directive

div

open operator fun Term.div(other: Any): Indicator

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

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

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

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

dynamic

open fun dynamic(indicator: Any): Struct

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

equalsTo

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

fact

open fun fact(function: LogicProgrammingScope.() -> Any): Fact

factOf

abstract fun factOf(head: Struct): Fact

open fun factOf(term: Any): Fact

findall

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

float

open fun float(number: Any): Struct

functor

open fun functor(struct: Any, functor: Any, arity: Any): Struct

get

abstract operator fun get(variable: String): Var?

open operator fun Substitution.get(term: Any): Term?

getValue

abstract operator fun getValue(thisRef: Any?, property: KProperty<*>): Var

greaterThan

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

greaterThanOrEqualsTo

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

ground

open fun ground(term: Any): Struct

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

open infix fun Any.if(other: Any): Rule

open fun Any.if(vararg other: Any): Rule

impliedBy

open infix fun Any.impliedBy(other: Any): Rule

open fun Any.impliedBy(vararg other: Any): Rule

include

open fun include(url: Any): Struct

indicatorOf

abstract fun indicatorOf(name: Term, arity: Term): Indicator

abstract fun indicatorOf(name: String, arity: Int): Indicator

initialization

open fun initialization(goal: Any): Struct

intDiv

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

integer

open fun integer(number: Any): Struct

intOf

abstract fun intOf(value: Byte): Integer

abstract fun intOf(value: Int): Integer

abstract fun intOf(value: Long): Integer

abstract fun intOf(value: Short): Integer

abstract fun intOf(value: String): Integer

abstract fun intOf(value: BigInteger): Integer

abstract fun intOf(value: String, radix: Int): Integer

invoke

open operator fun String.invoke(term: Any, vararg terms: Any): Struct

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

load

open fun load(url: Any): Struct

logicList

open fun logicList(vararg items: Any, tail: Any?): List

logicListFrom

abstract fun logicListFrom(terms: Iterable<Term>, last: Term?): List

abstract fun logicListFrom(terms: Sequence<Term>, last: Term?): List

abstract fun logicListFrom(vararg terms: Term, last: Term?): List

logicListOf

abstract fun logicListOf(terms: Iterable<Term>): List

abstract fun logicListOf(terms: Sequence<Term>): List

abstract fun logicListOf(vararg terms: Term): List

open fun logicListOf(vararg terms: Any): List

lowerThan

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

lowerThanOrEqualsTo

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

match

open fun match(term1: Any, term2: Any, occurCheckEnabled: Boolean = true): Boolean

Overload of Unificator.match accepting plain values instead of Terms: term1 and term2 are auto-toTerm-ed before delegating to this scope's unificator.

open fun match(term1: Term, term2: Term): Boolean

open fun match(term1: Term, term2: Term, occurCheckEnabled: Boolean): Boolean

matches

open infix fun Any.matches(other: Any): Boolean

Infix alias of match for Any operands: tells whether this and other (both auto-toTerm-ed) unify, with occurs-check enabled, using this scope's unificator.

member

open fun member(item: Any, list: Any): Struct

merge

open fun merge(substitution1: Substitution, substitution2: Substitution): Substitution

abstract fun merge(substitution1: Substitution, substitution2: Substitution, occurCheckEnabled: Boolean): Substitution

mgu

open fun mgu(term1: Any, term2: Any, occurCheckEnabled: Boolean = true): Substitution

Overload of Unificator.mgu accepting plain values instead of Terms: term1 and term2 are auto-toTerm-ed before delegating to this scope's unificator, so e.g. raw Strings, numbers or already-built Terms can be mixed freely.

open fun mgu(term1: Term, term2: Term): Substitution

abstract fun mgu(term1: Term, term2: Term, occurCheckEnabled: Boolean): Substitution

mguWith

open infix fun Any.mguWith(other: Any): Substitution

Infix alias of mgu for Any operands: computes the Most General Unifier of this and other (both auto-toTerm-ed), with occurs-check enabled, using this scope's unificator.

minus

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

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

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

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

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

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

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

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 = true): Term?

Overload of Unificator.unify accepting plain values instead of Terms: term1 and term2 are auto-toTerm-ed before delegating to this scope's unificator.