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>
|
object ArithmeticGreaterThan: ArithmeticRelation<ExecutionContext>
|
object ArithmeticGreaterThanOrEqualTo: ArithmeticRelation<ExecutionContext>
|
object ArithmeticLowerThan: ArithmeticRelation<ExecutionContext>
|
object ArithmeticLowerThanOrEqualTo: ArithmeticRelation<ExecutionContext>
|
object ArithmeticNotEqual: ArithmeticRelation<ExecutionContext>
|
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>
|
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>
|
object GetDurable: AbstractGetData
|
object GetEphemeral: AbstractGetData
|
object GetPersistent: AbstractGetData
|
object Ground: TypeTester<ExecutionContext>
|
object Halt: NonBacktrackable<ExecutionContext>
|
object Halt1: NonBacktrackable<ExecutionContext>
|
object Integer: TypeTester<ExecutionContext>
|
object Is: Functional<ExecutionContext>
|
object Natural: UnaryPredicate<ExecutionContext>
|
object NewLine: NonBacktrackable<ExecutionContext>
|
object NonVar: TypeTester<ExecutionContext>
|
object NotUnifiableWith: Predicative<ExecutionContext>
|
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>
|
object SubAtom: WithoutSideEffects<ExecutionContext>
|
object TermGreaterThan: Predicative<ExecutionContext>
|
object TermGreaterThanOrEqualTo: Predicative<ExecutionContext>
|
object TermIdentical: Predicative<ExecutionContext>
|
object TermLowerThan: Predicative<ExecutionContext>
|
object TermLowerThanOrEqualTo: Predicative<ExecutionContext>
|
object TermNotIdentical: Predicative<ExecutionContext>
|
object TermNotSame: Predicative<ExecutionContext>
|
object TermSame: Predicative<ExecutionContext>
|
object UnifiesWith: Functional<ExecutionContext>
|
object Univ: Functional<ExecutionContext>
|
object Var: TypeTester<ExecutionContext>
|
object Write: NonBacktrackable<ExecutionContext>
|