Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV NEXT | FRAMES NO FRAMES

## Uses of Interface
gnu.prolog.vm.Installable

Packages that use Installable
gnu.prolog.vm | The Virtual Machine which is used to run the prolog code.
gnu.prolog.vm.buildins.allsolutions |
gnu.prolog.vm.buildins.arithmetics |
gnu.prolog.vm.buildins.atomicterms |
gnu.prolog.vm.buildins.database |
gnu.prolog.vm.buildins.datetime |
gnu.prolog.vm.buildins.debug |
gnu.prolog.vm.buildins.dialogs |
gnu.prolog.vm.buildins.imphooks |
gnu.prolog.vm.buildins.io |
gnu.prolog.vm.buildins.java |
gnu.prolog.vm.buildins.list |
gnu.prolog.vm.buildins.misc |
gnu.prolog.vm.buildins.termcomparsion |
gnu.prolog.vm.buildins.termcreation |
gnu.prolog.vm.buildins.typetesting |
gnu.prolog.vm.buildins.unification |
gnu.prolog.vm.buildins.uuid |
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`.
gnu.prolog.vm.interpreter.instruction |

Uses of Installable in gnu.prolog.vm

Subinterfaces of Installable in gnu.prolog.vm
`interface` | `PrologCode` Implementing classes can be executed and return a return code of `PrologCode.SUCCESS`, `PrologCode.SUCCESS_LAST`, or `PrologCode.FAIL`.

Classes in gnu.prolog.vm that implement Installable
`class` | `ExecuteOnlyCode` For Predicates which do not need to be installed or uninstalled.
`class` | `UndefinedPredicateCode` An Undefined Predicate throws an error on execution depending on the value of the unknown flag.

Uses of Installable in gnu.prolog.vm.buildins.allsolutions

Classes in gnu.prolog.vm.buildins.allsolutions that implement Installable
`class` | `Predicate_bagof` prolog code
`class` | `Predicate_findall` prolog code
`class` | `Predicate_setof` prolog code

Uses of Installable in gnu.prolog.vm.buildins.arithmetics

Classes in gnu.prolog.vm.buildins.arithmetics that implement Installable
`class` | `Predicate_equal` prolog code
`class` | `Predicate_greater_than` prolog code
`class` | `Predicate_greater_than_or_equal` prolog code
`class` | `Predicate_is` prolog code
`class` | `Predicate_less_than` prolog code
`class` | `Predicate_less_than_or_equal` prolog code
`class` | `Predicate_not_equal` prolog code

Uses of Installable in gnu.prolog.vm.buildins.atomicterms

Classes in gnu.prolog.vm.buildins.atomicterms that implement Installable
`class` | `Predicate_atom_chars` prolog code
`class` | `Predicate_atom_codes` prolog code
`class` | `Predicate_atom_concat` prolog code
`class` | `Predicate_atom_length` prolog code
`class` | `Predicate_char_code` prolog code
`class` | `Predicate_number_chars` prolog code
`class` | `Predicate_number_codes` prolog code
`class` | `Predicate_sub_atom` prolog code

Uses of Installable in gnu.prolog.vm.buildins.database

Classes in gnu.prolog.vm.buildins.database that implement Installable
`class` | `Predicate_abolish` prolog code
`class` | `Predicate_assert` prolog code
`class` | `Predicate_asserta` prolog code
`class` | `Predicate_assertz` prolog code
`class` | `Predicate_clause` prolog code
`class` | `Predicate_current_predicate` prolog code
`class` | `Predicate_retract` prolog code

Uses of Installable in gnu.prolog.vm.buildins.datetime

Classes in gnu.prolog.vm.buildins.datetime that implement Installable
`class` | `DateTimePrologCode`
`class` | `Predicate_date_time_stamp`
`class` | `Predicate_date_time_value`
`class` | `Predicate_format_time`
`class` | `Predicate_get_time`
`class` | `Predicate_parse_time`
`class` | `Predicate_stamp_date_time`

Uses of Installable in gnu.prolog.vm.buildins.debug

Classes in gnu.prolog.vm.buildins.debug that implement Installable
`class` | `Predicate_debugging`
`class` | `Predicate_nospy` Remove a trace point
`class` | `Predicate_nospyall` Remove all tracepoints
`class` | `Predicate_notrace` Disable tracing
`class` | `Predicate_spy` Set a trace point
`class` | `Predicate_trace` Enable tracing
`class` | `Predicate_tracing` Check if tracing

Uses of Installable in gnu.prolog.vm.buildins.dialogs

Classes in gnu.prolog.vm.buildins.dialogs that implement Installable
`class` | `Predicate_confirm`
`class` | `Predicate_dialog`
`class` | `Predicate_file_open`
`class` | `Predicate_file_save`
`class` | `Predicate_message`
`class` | `Predicate_prompt`

Uses of Installable in gnu.prolog.vm.buildins.imphooks

Classes in gnu.prolog.vm.buildins.imphooks that implement Installable
`class` | `Predicate_current_prolog_flag` prolog code
`class` | `Predicate_halt` prolog code
`class` | `Predicate_set_prolog_flag` prolog code

Uses of Installable in gnu.prolog.vm.buildins.io

Classes in gnu.prolog.vm.buildins.io that implement Installable
`class` | `Predicate_at_end_of_stream` prolog code
`class` | `Predicate_char_conversion`
`class` | `Predicate_close` prolog code
`class` | `Predicate_current_char_conversion`
`class` | `Predicate_current_input` prolog code
`class` | `Predicate_current_op` prolog code
`class` | `Predicate_current_output` prolog code
`class` | `Predicate_ensure_loaded` NONISO but in SWI-Prolog, not in GNU Prolog (even in its ISO usage).
`class` | `Predicate_flush_output` prolog code
`class` | `Predicate_get_byte` prolog code
`class` | `Predicate_get_char` prolog code
`class` | `Predicate_op` prolog code
`class` | `Predicate_open` prolog code for open/4
`class` | `Predicate_peek_byte` prolog code
`class` | `Predicate_peek_char` prolog code
`class` | `Predicate_put_byte` prolog code
`class` | `Predicate_put_char` prolog code
`class` | `Predicate_read_term` prolog code
`class` | `Predicate_set_input` prolog code
`class` | `Predicate_set_output` prolog code
`class` | `Predicate_set_stream_position` prolog code
`class` | `Predicate_stream_property` prolog code
`class` | `Predicate_write_term` prolog code

Uses of Installable in gnu.prolog.vm.buildins.java

Classes in gnu.prolog.vm.buildins.java that implement Installable
`class` | `Predicate_java_classname`
`class` | `Predicate_java_to_string`

Uses of Installable in gnu.prolog.vm.buildins.list

Classes in gnu.prolog.vm.buildins.list that implement Installable
`class` | `Predicate_append` TODO Does:
`class` | `Predicate_is_list`
`class` | `Predicate_length`
`class` | `Predicate_member` Does:
`class` | `Predicate_msort`
`class` | `Predicate_predsort`
`class` | `Predicate_sort`

Uses of Installable in gnu.prolog.vm.buildins.misc

Classes in gnu.prolog.vm.buildins.misc that implement Installable
`class` | `Predicate_current_functor`
`class` | `Predicate_listing`
`class` | `Predicate_stacktrace`

Uses of Installable in gnu.prolog.vm.buildins.termcomparsion

Classes in gnu.prolog.vm.buildins.termcomparsion that implement Installable
`class` | `Predicate_compare`
`class` | `Predicate_term_greater_then` prolog code
`class` | `Predicate_term_greater_then_or_equal` prolog code
`class` | `Predicate_term_identical` prolog code
`class` | `Predicate_term_less_then` prolog code
`class` | `Predicate_term_less_then_or_equal` prolog code
`class` | `Predicate_term_not_identical` prolog code

Uses of Installable in gnu.prolog.vm.buildins.termcreation

Classes in gnu.prolog.vm.buildins.termcreation that implement Installable
`class` | `Predicate_arg` prolog code
`class` | `Predicate_copy_term` prolog code
`class` | `Predicate_functor` prolog code
`class` | `Predicate_univ` prolog code

Uses of Installable in gnu.prolog.vm.buildins.typetesting

Classes in gnu.prolog.vm.buildins.typetesting that implement Installable
`class` | `Predicate_atom` Predicate variable
`class` | `Predicate_atomic` Predicate variable
`class` | `Predicate_compound` Predicate variable
`class` | `Predicate_float` Predicate variable
`class` | `Predicate_integer` Predicate variable
`class` | `Predicate_java_object` Predicate variable
`class` | `Predicate_nonvar` Predicate variable
`class` | `Predicate_number` Predicate variable
`class` | `Predicate_var` Predicate variable

Uses of Installable in gnu.prolog.vm.buildins.unification

Classes in gnu.prolog.vm.buildins.unification that implement Installable
`class` | `Predicate_not_unifiable` true if two term are not unifiable
`class` | `Predicate_unify` Unify two terms
`class` | `Predicate_unify_with_occurs_check` Unify two terms occur check

Uses of Installable in gnu.prolog.vm.buildins.uuid

Classes in gnu.prolog.vm.buildins.uuid that implement Installable
`class` | `Predicate_uuid`
`class` | `Predicate_uuid_compare`
`class` | `Predicate_uuid_variant`
`class` | `Predicate_uuid_version`
`class` | `Predicate_uuid3`
`class` | `Predicate_uuid4`

Uses of Installable in gnu.prolog.vm.interpreter

Classes in gnu.prolog.vm.interpreter that implement Installable
`class` | `InterpretedByteCode` Interpreted Code.
`class` | `Predicate_call` prolog code

Uses of Installable in gnu.prolog.vm.interpreter.instruction

Classes in gnu.prolog.vm.interpreter.instruction that implement Installable
`class` | `IAllocate` allocate environment instruction
`class` | `ICall` call instruction.
`class` | `ICreateCompoundTerm` create compound term
`class` | `ICreateVariable` create variable on pushDownStack
`class` | `ICut` cut instruction
`class` | `IDup` duplicate top of pushdown stack
`class` | `IFail` fail instruction
`class` | `IJump` true instruction
`class` | `Instruction` base call for instruction
`class` | `IPop` delete term from top of pushdown stack
`class` | `IPushArgument` push argument of execution state
`class` | `IPushConstant` push constant term
`class` | `IPushEnvironment` push term from environment
`class` | `IRestoreState` Restore current state from BacktrackInfo stored in environment
`class` | `IRetryMeElse` retry_me_else instruction
`class` | `IReturn` return with success instruction
`class` | `ISaveCut` save latest choice point as cut position instruction
`class` | `ISaveState` Save current state as BacktrackInfo in environment
`class` | `IStoreEnvironment` save top of pushdown list in environment
`class` | `IThrow` throw instruction
`class` | `ITrue` true instruction
`class` | `ITrustMe` trust_me instruction
`class` | `ITryMeElse` try_me_else instruction
`class` | `IUnify` call instruction.
`class` | `RetryInstruction` base class to try_me_else and retry_me_else instructions.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV NEXT | FRAMES NO FRAMES