|
GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES All Classes | |||||||||
| Packages that use VariableTerm | |
|---|---|
| gnu.prolog.io | |
| gnu.prolog.io.parser.gen | |
| gnu.prolog.term | Contains the various types of Term that can be used. |
| gnu.prolog.vm | |
| gnu.prolog.vm.buildins.unification | |
| gnu.prolog.vm.interpreter | InterpretedCodeCompiler uses the various classes beginning with I
and extending Instruction in the
instruction sub-package to
compile clauses to InterpretedByteCode. |
| Uses of VariableTerm in gnu.prolog.io |
|---|
| Fields in gnu.prolog.io with type parameters of type VariableTerm | |
|---|---|
Map<String,VariableTerm> |
ReadOptions.singletons
'singletons' ISO Prolog options it is not used currently. |
Map<String,VariableTerm> |
ReadOptions.variableNames
'variable_names' ISO Prolog options |
| Methods in gnu.prolog.io with parameters of type VariableTerm | |
|---|---|
protected void |
TermWriter.displayVariable(WriteOptions options,
VariableTerm variable)
display variable term |
| Uses of VariableTerm in gnu.prolog.io.parser.gen |
|---|
| Methods in gnu.prolog.io.parser.gen that return VariableTerm | |
|---|---|
VariableTerm |
TermParser.variable(ReadOptions options)
|
| Uses of VariableTerm in gnu.prolog.term |
|---|
| Subclasses of VariableTerm in gnu.prolog.term | |
|---|---|
class |
ChangeableTerm
Terms for which the value varies depending on prolog flags extend this class. |
class |
DoubleQuotesTerm
Term for storing a double quoted string as what this resolves to varies depending on the value of the double_quotes flag. |
| Uses of VariableTerm in gnu.prolog.vm |
|---|
| Fields in gnu.prolog.vm declared as VariableTerm | |
|---|---|
protected VariableTerm[] |
Interpreter.variables
|
| Methods in gnu.prolog.vm with parameters of type VariableTerm | |
|---|---|
void |
Interpreter.addVariableUndo(VariableTerm variable)
add variable undo |
| Uses of VariableTerm in gnu.prolog.vm.buildins.unification |
|---|
| Methods in gnu.prolog.vm.buildins.unification with parameters of type VariableTerm | |
|---|---|
static boolean |
Predicate_unify_with_occurs_check.occurCheck(VariableTerm variable,
Term term)
preform occur check on variable |
| Uses of VariableTerm in gnu.prolog.vm.interpreter |
|---|
| Method parameters in gnu.prolog.vm.interpreter with type arguments of type VariableTerm | |
|---|---|
static Term |
Predicate_call.getClause(Term term,
Map<Term,VariableTerm> argumentsToArgumentVariables)
convert callable term to clause |
|
GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES All Classes | |||||||||