solve/it.unibo.tuprolog.solve.stdlib.primitive

Package it.unibo.tuprolog.solve.stdlib.primitive

Types

object Abolish : UnaryPredicate.NonBacktrackable<ExecutionContext>

abstract class AbstractAssert(suffix: String, before: Boolean) : UnaryPredicate.NonBacktrackable<ExecutionContext>

AbstractCollectionOf

abstract class AbstractCollectionOf(val name: String) : TernaryRelation.WithoutSideEffects<ExecutionContext>

AbstractGetData

abstract class AbstractGetData(suffix: String) : BinaryRelation<ExecutionContext>

AbstractSetData

abstract class AbstractSetData(suffix: String) : BinaryRelation.NonBacktrackable<ExecutionContext>

object Arg : TernaryRelation.WithoutSideEffects<ExecutionContext>

ArithmeticEqual

object ArithmeticEqual : ArithmeticRelation<ExecutionContext>

Implementation of '=:='/2 predicate

ArithmeticGreaterThan

object ArithmeticGreaterThan : ArithmeticRelation<ExecutionContext>

Implementation of '>'/2 predicate

ArithmeticGreaterThanOrEqualTo

object ArithmeticGreaterThanOrEqualTo : ArithmeticRelation<ExecutionContext>

Implementation of '>='/2 predicate

ArithmeticLowerThan

object ArithmeticLowerThan : ArithmeticRelation<ExecutionContext>

Implementation of '<'/2 predicate

ArithmeticLowerThanOrEqualTo

object ArithmeticLowerThanOrEqualTo : ArithmeticRelation<ExecutionContext>

Implementation of '=<'/2 predicate

ArithmeticNotEqual

object ArithmeticNotEqual : ArithmeticRelation<ExecutionContext>

Implementation of '=\='/2 predicate

object Assert : AbstractAssert

object AssertA : AbstractAssert

object AssertZ : AbstractAssert

object Atom : TypeTester<ExecutionContext>

object AtomChars : BinaryRelation.Functional<ExecutionContext>

object AtomCodes : BinaryRelation.Functional<ExecutionContext>

object AtomConcat : TernaryRelation.Functional<ExecutionContext>

atom_concat(ab, cd, abcd).

object Atomic : TypeTester<ExecutionContext>

object AtomLength : BinaryRelation.Functional<ExecutionContext>

object BagOf : AbstractCollectionOf

object Between : TernaryRelation.WithoutSideEffects<ExecutionContext>

object Callable : TypeTester<ExecutionContext>

object CharCode : BinaryRelation.Functional<ExecutionContext>

object Clause : BinaryRelation.WithoutSideEffects<ExecutionContext>

object Compound : TypeTester<ExecutionContext>

object CopyTerm : BinaryRelation.Functional<ExecutionContext>

object CurrentFlag : BinaryRelation.WithoutSideEffects<ExecutionContext>

object CurrentOp : TernaryRelation.WithoutSideEffects<ExecutionContext>

EnsureExecutable

object EnsureExecutable : TypeEnsurer<ExecutionContext>

object FindAll : TernaryRelation.NonBacktrackable<ExecutionContext>

object Float : TypeTester<ExecutionContext>

object Functor : TernaryRelation.Functional<ExecutionContext>

Implementation of 'functor'/3 predicate

object GetDurable : AbstractGetData

object GetEphemeral : AbstractGetData

object GetPersistent : AbstractGetData

object Ground : TypeTester<ExecutionContext>

object Halt : PredicateWithoutArguments.NonBacktrackable<ExecutionContext>

Implementation of primitive handling halt/0 behaviour

object Halt1 : UnaryPredicate.NonBacktrackable<ExecutionContext>

object Integer : TypeTester<ExecutionContext>

object Is : BinaryRelation.Functional<ExecutionContext>

Implementation of 'is'/2 predicate

object Natural : UnaryPredicate<ExecutionContext>

object NewLine : PredicateWithoutArguments.NonBacktrackable<ExecutionContext>

object NonVar : TypeTester<ExecutionContext>

NotUnifiableWith

object NotUnifiableWith : BinaryRelation.Predicative<ExecutionContext>

Implementation of '\='/2 predicate

object Number : TypeTester<ExecutionContext>

object NumberChars : BinaryRelation.Functional<ExecutionContext>

object NumberCodes : BinaryRelation.Functional<ExecutionContext>

object Op : TernaryRelation.NonBacktrackable<ExecutionContext>

object Repeat : PredicateWithoutArguments.WithoutSideEffects<ExecutionContext>

object Retract : UnaryPredicate<ExecutionContext>

object RetractAll : UnaryPredicate.NonBacktrackable<ExecutionContext>

object Reverse : BinaryRelation.Functional<ExecutionContext>

object SetDurable : AbstractSetData

object SetEphemeral : AbstractSetData

object SetFlag : BinaryRelation.NonBacktrackable<ExecutionContext>

object SetOf : AbstractCollectionOf

object SetPersistent : AbstractSetData

object Sleep : UnaryPredicate<ExecutionContext>

Implements predicate sleep(+N) where N must be instantiated as an integer. The predicate execution always succeeds, unless the resolution process is halted because of a TimeOutException. Furthermore, the resolution of a sleep(N) sub-goal is guaranteed to require at least N milliseconds

object SubAtom : QuinaryRelation.WithoutSideEffects<ExecutionContext>

TermGreaterThan

object TermGreaterThan : BinaryRelation.Predicative<ExecutionContext>

Implementation of '@>'/2 predicate

TermGreaterThanOrEqualTo

object TermGreaterThanOrEqualTo : BinaryRelation.Predicative<ExecutionContext>

Implementation of '@>='/2 predicate

object TermIdentical : BinaryRelation.Predicative<ExecutionContext>

Implementation of '=='/2 predicate

object TermLowerThan : BinaryRelation.Predicative<ExecutionContext>

Implementation of '@<'/2 predicate

TermLowerThanOrEqualTo

object TermLowerThanOrEqualTo : BinaryRelation.Predicative<ExecutionContext>

Implementation of '@=<'/2 predicate

TermNotIdentical

object TermNotIdentical : BinaryRelation.Predicative<ExecutionContext>

Implementation of '\=='/2 predicate

object TermNotSame : BinaryRelation.Predicative<ExecutionContext>

Implementation of '=='/2 predicate

object TermSame : BinaryRelation.Predicative<ExecutionContext>

Implementation of '=='/2 predicate

object UnifiesWith : BinaryRelation.Functional<ExecutionContext>

Implementation of '='/2 predicate

object Univ : BinaryRelation.Functional<ExecutionContext>

Implementation of '=..'/2 predicate

object Var : TypeTester<ExecutionContext>

object Write : UnaryPredicate.NonBacktrackable<ExecutionContext>