A B C D E F G H I J L M N O P Q R S T U V W X Y Z

B

backQuotify(String) - Static method in class com.svincent.moksa.PrologUtil

badparm(int, PrologTerm) - Method in class com.svincent.moksa.Wam

Called when facts are processing their parameters.

BALOAD - Static variable in class com.svincent.smalljava.rhino.ByteCode

The byte opcodes defined by the Java Virtual Machine.

BaseObject - class com.svincent.util.BaseObject.

BaseObject is a common base object for things in the system that don't already have some other base object.

BaseObject() - Constructor for class com.svincent.util.BaseObject

BASTORE - Static variable in class com.svincent.smalljava.rhino.ByteCode

The byte opcodes defined by the Java Virtual Machine.

bind(PrologTerm) - Method in class com.svincent.moksa.Variable

Binds this variable to the given new value.

BIPUSH - Static variable in class com.svincent.smalljava.rhino.ByteCode

The byte opcodes defined by the Java Virtual Machine.

Boolean - Static variable in class com.svincent.smalljava.SmallType

A boolean value: true or false.

BREAKPOINT - Static variable in class com.svincent.smalljava.rhino.ByteCode

The byte opcodes defined by the Java Virtual Machine.

Builtin - class com.svincent.moksa.Builtin.

Defines a number of useful primitive predicates.

Builtin.Arg_3 - class com.svincent.moksa.Builtin.Arg_3.

Allows arguments of a functor to be retrieved and set.

Builtin.Arg_3() - Constructor for class com.svincent.moksa.Builtin.Arg_3

Builtin.ArithmeticComparisonRule - class com.svincent.moksa.Builtin.ArithmeticComparisonRule.

Base class for arithmetic comparison builtins.

Builtin.ArithmeticComparisonRule() - Constructor for class com.svincent.moksa.Builtin.ArithmeticComparisonRule

Builtin.Asserta_1 - class com.svincent.moksa.Builtin.Asserta_1.

Builtin.Asserta_1() - Constructor for class com.svincent.moksa.Builtin.Asserta_1

Builtin.Assertz_1 - class com.svincent.moksa.Builtin.Assertz_1.

Builtin.Assertz_1() - Constructor for class com.svincent.moksa.Builtin.Assertz_1

Builtin.Atom_1 - class com.svincent.moksa.Builtin.Atom_1.

Tests whether its argument is an atom (8.3.2).

Builtin.Atom_1() - Constructor for class com.svincent.moksa.Builtin.Atom_1

Builtin.Atomic_1 - class com.svincent.moksa.Builtin.Atomic_1.

Tests whether its argument is atomic (8.3.5).

Builtin.Atomic_1() - Constructor for class com.svincent.moksa.Builtin.Atomic_1

Builtin.BuiltinRule - class com.svincent.moksa.Builtin.BuiltinRule.

All of the builtin primitive rules subclass BuiltinRule.

Builtin.BuiltinRule() - Constructor for class com.svincent.moksa.Builtin.BuiltinRule

Builtin.Call_1 - class com.svincent.moksa.Builtin.Call_1.

Calls a goal (7.8.3)

Builtin.Call_1() - Constructor for class com.svincent.moksa.Builtin.Call_1

Builtin.Catch_3 - class com.svincent.moksa.Builtin.Catch_3.

Calls a goal with an exception handler.

Builtin.Catch_3() - Constructor for class com.svincent.moksa.Builtin.Catch_3

Builtin.Compound_1 - class com.svincent.moksa.Builtin.Compound_1.

Tests whether its argument is a compound term (8.3.6).

Builtin.Compound_1() - Constructor for class com.svincent.moksa.Builtin.Compound_1

Builtin.Copy_term_2 - class com.svincent.moksa.Builtin.Copy_term_2.

copy_term(?Term1, ?Term2) is true iff Term2 unifies with a renamed copy of Term1.

Builtin.Copy_term_2() - Constructor for class com.svincent.moksa.Builtin.Copy_term_2

Builtin.Cut_1 - class com.svincent.moksa.Builtin.Cut_1.

Builtin.Cut_1() - Constructor for class com.svincent.moksa.Builtin.Cut_1

Builtin.Equals_2 - class com.svincent.moksa.Builtin.Equals_2.

Equals

Builtin.Equals_2() - Constructor for class com.svincent.moksa.Builtin.Equals_2

Builtin.Fail_0 - class com.svincent.moksa.Builtin.Fail_0.

Always fails

Builtin.Fail_0() - Constructor for class com.svincent.moksa.Builtin.Fail_0

Builtin.Functor_3 - class com.svincent.moksa.Builtin.Functor_3.

Allows a term to be split into its components (8.5.1)

Builtin.Functor_3() - Constructor for class com.svincent.moksa.Builtin.Functor_3

Builtin.GreaterThan_2 - class com.svincent.moksa.Builtin.GreaterThan_2.

Greater than

Builtin.GreaterThan_2() - Constructor for class com.svincent.moksa.Builtin.GreaterThan_2

Builtin.GreaterThanEquals_2 - class com.svincent.moksa.Builtin.GreaterThanEquals_2.

Greater than/equals

Builtin.GreaterThanEquals_2() - Constructor for class com.svincent.moksa.Builtin.GreaterThanEquals_2

Builtin.Halt_0 - class com.svincent.moksa.Builtin.Halt_0.

Halts the machine

Builtin.Halt_0() - Constructor for class com.svincent.moksa.Builtin.Halt_0

Builtin.Identical_2 - class com.svincent.moksa.Builtin.Identical_2.

Tests whether its arguments are identical terms (8.4.1).

Builtin.Identical_2() - Constructor for class com.svincent.moksa.Builtin.Identical_2

Builtin.Integer_1 - class com.svincent.moksa.Builtin.Integer_1.

Tests whether its argument is an integer (8.3.3).

Builtin.Integer_1() - Constructor for class com.svincent.moksa.Builtin.Integer_1

Builtin.Is_2 - class com.svincent.moksa.Builtin.Is_2.

Evaluate expression (8.6.1)

Builtin.Is_2() - Constructor for class com.svincent.moksa.Builtin.Is_2

Builtin.LessThan_2 - class com.svincent.moksa.Builtin.LessThan_2.

Less than

Builtin.LessThan_2() - Constructor for class com.svincent.moksa.Builtin.LessThan_2

Builtin.LessThanEquals_2 - class com.svincent.moksa.Builtin.LessThanEquals_2.

Less than/equals

Builtin.LessThanEquals_2() - Constructor for class com.svincent.moksa.Builtin.LessThanEquals_2

Builtin.Nonvar_1 - class com.svincent.moksa.Builtin.Nonvar_1.

Tests whether its argument is not a variable (8.3.7).

Builtin.Nonvar_1() - Constructor for class com.svincent.moksa.Builtin.Nonvar_1

Builtin.NotEquals_2 - class com.svincent.moksa.Builtin.NotEquals_2.

Not equals

Builtin.NotEquals_2() - Constructor for class com.svincent.moksa.Builtin.NotEquals_2

Builtin.Number_1 - class com.svincent.moksa.Builtin.Number_1.

Tests whether its argument is a number (8.3.8).

Builtin.Number_1() - Constructor for class com.svincent.moksa.Builtin.Number_1

Builtin.Real_1 - class com.svincent.moksa.Builtin.Real_1.

Tests whether its argument is a floating-point value (8.3.4).

Builtin.Real_1() - Constructor for class com.svincent.moksa.Builtin.Real_1

Builtin.Set_prolog_flag_2 - class com.svincent.moksa.Builtin.Set_prolog_flag_2.

Builtin.Set_prolog_flag_2() - Constructor for class com.svincent.moksa.Builtin.Set_prolog_flag_2

Builtin.Set_var_nameXXX_2 - class com.svincent.moksa.Builtin.Set_var_nameXXX_2.

Builtin.Set_var_nameXXX_2() - Constructor for class com.svincent.moksa.Builtin.Set_var_nameXXX_2

Builtin.Throw_1 - class com.svincent.moksa.Builtin.Throw_1.

Throws an exception to the nearest matching exception handler, or halts the machine, if neccessary.

Builtin.Throw_1() - Constructor for class com.svincent.moksa.Builtin.Throw_1

Builtin.Unify_2 - class com.svincent.moksa.Builtin.Unify_2.

Implements the =/2 predicate (8.2.1).

Builtin.Unify_2() - Constructor for class com.svincent.moksa.Builtin.Unify_2

Builtin.Univ_2 - class com.svincent.moksa.Builtin.Univ_2.

Allows a compound term to be constructed from a list

Builtin.Univ_2() - Constructor for class com.svincent.moksa.Builtin.Univ_2

Builtin.Var_1 - class com.svincent.moksa.Builtin.Var_1.

Tests whether its argument is a variable (8.3.1).

Builtin.Var_1() - Constructor for class com.svincent.moksa.Builtin.Var_1

Byte - Static variable in class com.svincent.smalljava.SmallType

A signed byte value.

ByteCode - class com.svincent.smalljava.rhino.ByteCode.

This class provides opcode values expected by the JVM in Java class files.

ByteCode() - Constructor for class com.svincent.smalljava.rhino.ByteCode