it.unibo.tuprolog.solve.stdlib.primitive

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

Classes

Name Description
object Throw: UnaryPredicate<ExecutionContext>
abstract class AbstractAssert: NonBacktrackable<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 Atomic: TypeTester<ExecutionContext>
object Callable: TypeTester<ExecutionContext>
object Compound: TypeTester<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 Ground: TypeTester<ExecutionContext>
object Halt: NonBacktrackable<ExecutionContext>

Implementation of primitive handling halt/0 behaviour

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 Op: NonBacktrackable<ExecutionContext>
object Retract: UnaryPredicate<ExecutionContext>
object RetractAll: NonBacktrackable<ExecutionContext>
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 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 UnifiesWith: Functional<ExecutionContext>

Implementation of '='/2 predicate

object Univ: Functional<ExecutionContext>

Implementation of '=..'/2 predicate

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