it.unibo.tuprolog.solve.stdlib.primitive

package it.unibo.tuprolog.solve.stdlib.primitive

Classes

Name Description
object Abolish: NonBacktrackable<ExecutionContext>
abstract class AbstractAssert: NonBacktrackable<ExecutionContext>
abstract class AbstractCollectionOf: WithoutSideEffects<ExecutionContext>
abstract class AbstractGetData: BinaryRelation<ExecutionContext>
abstract class AbstractSetData: NonBacktrackable<ExecutionContext>
object Arg: WithoutSideEffects<ExecutionContext>
object ArithmeticEqual: ArithmeticRelation<ExecutionContext>

Implementation of '=:='/2 predicate

object ArithmeticGreaterThan: ArithmeticRelation<ExecutionContext>

Implementation of '>'/2 predicate

object ArithmeticGreaterThanOrEqualTo: ArithmeticRelation<ExecutionContext>

Implementation of '>='/2 predicate

object ArithmeticLowerThan: ArithmeticRelation<ExecutionContext>

Implementation of '<'/2 predicate

object ArithmeticLowerThanOrEqualTo: ArithmeticRelation<ExecutionContext>

Implementation of '=<'/2 predicate

object ArithmeticNotEqual: ArithmeticRelation<ExecutionContext>

Implementation of '=\='/2 predicate

object Assert: AbstractAssert
object AssertA: AbstractAssert
object AssertZ: AbstractAssert
object Atom: TypeTester<ExecutionContext>
object AtomChars: Functional<ExecutionContext>
object AtomCodes: Functional<ExecutionContext>
object AtomConcat: Functional<ExecutionContext>

atom_concat(ab, cd, abcd).

object AtomLength: Functional<ExecutionContext>
object Atomic: TypeTester<ExecutionContext>
object BagOf: AbstractCollectionOf
object Between: WithoutSideEffects<ExecutionContext>
object Callable: TypeTester<ExecutionContext>
object CharCode: Functional<ExecutionContext>
object Clause: WithoutSideEffects<ExecutionContext>
object Compound: TypeTester<ExecutionContext>
object CopyTerm: Functional<ExecutionContext>
object CurrentFlag: WithoutSideEffects<ExecutionContext>
object CurrentOp: WithoutSideEffects<ExecutionContext>
object EnsureExecutable: TypeEnsurer<ExecutionContext>
object FindAll: NonBacktrackable<ExecutionContext>
object Float: TypeTester<ExecutionContext>
object Functor: Functional<ExecutionContext>

Implementation of 'functor'/3 predicate

object GetDurable: AbstractGetData
object GetEphemeral: AbstractGetData
object GetPersistent: AbstractGetData
object Ground: TypeTester<ExecutionContext>
object Halt: NonBacktrackable<ExecutionContext>

Implementation of primitive handling halt/0 behaviour

object Halt1: NonBacktrackable<ExecutionContext>
object Integer: TypeTester<ExecutionContext>
object Is: Functional<ExecutionContext>

Implementation of 'is'/2 predicate

object Natural: UnaryPredicate<ExecutionContext>
object NewLine: NonBacktrackable<ExecutionContext>
object NonVar: TypeTester<ExecutionContext>
object NotUnifiableWith: Predicative<ExecutionContext>

Implementation of '\='/2 predicate

object Number: TypeTester<ExecutionContext>
object NumberChars: Functional<ExecutionContext>
object NumberCodes: Functional<ExecutionContext>
object Op: NonBacktrackable<ExecutionContext>
object Repeat: WithoutSideEffects<ExecutionContext>
object Retract: UnaryPredicate<ExecutionContext>
object RetractAll: NonBacktrackable<ExecutionContext>
object Reverse: Functional<ExecutionContext>
object SetDurable: AbstractSetData
object SetEphemeral: AbstractSetData
object SetFlag: 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: WithoutSideEffects<ExecutionContext>
object TermGreaterThan: Predicative<ExecutionContext>

Implementation of '@>'/2 predicate

object TermGreaterThanOrEqualTo: Predicative<ExecutionContext>

Implementation of '@>='/2 predicate

object TermIdentical: Predicative<ExecutionContext>

Implementation of '=='/2 predicate

object TermLowerThan: Predicative<ExecutionContext>

Implementation of '@<'/2 predicate

object TermLowerThanOrEqualTo: Predicative<ExecutionContext>

Implementation of '@=<'/2 predicate

object TermNotIdentical: Predicative<ExecutionContext>

Implementation of '\=='/2 predicate

object TermNotSame: Predicative<ExecutionContext>

Implementation of '=='/2 predicate

object TermSame: Predicative<ExecutionContext>

Implementation of '=='/2 predicate

object UnifiesWith: Functional<ExecutionContext>

Implementation of '='/2 predicate

object Univ: Functional<ExecutionContext>

Implementation of '=..'/2 predicate

object Var: TypeTester<ExecutionContext>
object Write: NonBacktrackable<ExecutionContext>