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

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

Packages that use PrologCode
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 PrologCode in gnu.prolog.vm

Classes in gnu.prolog.vm that implement PrologCode
`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.

Fields in gnu.prolog.vm declared as PrologCode
`protected PrologCode` | `Environment.undefinedPredicate` predicate which used instead of real code when predicate is not defined

Fields in gnu.prolog.vm with type parameters of type PrologCode
`protected Map<CompoundTermTag,PrologCode>` | `Environment.tag2code` PredicateTag to code mapping

Methods in gnu.prolog.vm that return PrologCode
`PrologCode` | `Environment.getPrologCode(CompoundTermTag tag)` get prolog code
`PrologCode` | `Environment.getUndefinedPredicateCode(CompoundTermTag tag)` get undefined predicate code
`PrologCode` | `Environment.loadPrologCode(CompoundTermTag tag)` load code for prolog

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

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

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

Classes in gnu.prolog.vm.buildins.arithmetics that implement PrologCode
`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 PrologCode in gnu.prolog.vm.buildins.atomicterms

Classes in gnu.prolog.vm.buildins.atomicterms that implement PrologCode
`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 PrologCode in gnu.prolog.vm.buildins.database

Classes in gnu.prolog.vm.buildins.database that implement PrologCode
`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 PrologCode in gnu.prolog.vm.buildins.datetime

Classes in gnu.prolog.vm.buildins.datetime that implement PrologCode
`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 PrologCode in gnu.prolog.vm.buildins.debug

Classes in gnu.prolog.vm.buildins.debug that implement PrologCode
`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 PrologCode in gnu.prolog.vm.buildins.dialogs

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

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

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

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

Classes in gnu.prolog.vm.buildins.io that implement PrologCode
`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 PrologCode in gnu.prolog.vm.buildins.java

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

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

Classes in gnu.prolog.vm.buildins.list that implement PrologCode
`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 PrologCode in gnu.prolog.vm.buildins.misc

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

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

Classes in gnu.prolog.vm.buildins.termcomparsion that implement PrologCode
`class` | `Predicate_compare` compare(?Order, +Term1, +Term2)
`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 PrologCode in gnu.prolog.vm.buildins.termcreation

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

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

Classes in gnu.prolog.vm.buildins.typetesting that implement PrologCode
`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 PrologCode in gnu.prolog.vm.buildins.unification

Classes in gnu.prolog.vm.buildins.unification that implement PrologCode
`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 PrologCode in gnu.prolog.vm.buildins.uuid

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

Uses of PrologCode in gnu.prolog.vm.interpreter

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

Fields in gnu.prolog.vm.interpreter declared as PrologCode
`PrologCode` | `CallBacktrackInfo.code` code at moment of first call.
`protected PrologCode[]` | `InterpretedByteCode.predicateCodes` predicate codes used by code

Methods in gnu.prolog.vm.interpreter that return PrologCode
`static PrologCode` | `InterpretedCodeCompiler.compile(List<Term> passedClauses)` compile set of clauses to interpreted code

Methods in gnu.prolog.vm.interpreter with parameters of type PrologCode
`CallBacktrackInfo` | `ExecutionState.getCallBacktrackInfo(int codePosition, Term[] args, PrologCode code, CompoundTermTag tag)` get BacktrackInfo for call instruction.

Constructors in gnu.prolog.vm.interpreter with parameters of type PrologCode
`CallBacktrackInfo(int undoPosition, int codePosition, Term[] args, PrologCode code, CompoundTermTag tag)` a constructor
`Predicate_call.CallTermBacktrackInfo(Interpreter in, PrologCode code, Term[] args, Term callTerm)`

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

Fields in gnu.prolog.vm.interpreter.instruction declared as PrologCode
`PrologCode` | `ICall.code` code to call, if predicate is dynamic it changes after each update

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