| 
 | GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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 | InterpretedCodeCompileruses the various classes beginning with I
 and extendingInstructionin theinstructionsub-package to 
 compile clauses toInterpretedByteCode. | 
| gnu.prolog.vm.interpreter.instruction | |
| Uses of PrologCode in gnu.prolog.vm | 
|---|
| Classes in gnu.prolog.vm that implement PrologCode | |
|---|---|
|  class | ExecuteOnlyCodeFor Predicates which do not need to be installed or uninstalled. | 
|  class | UndefinedPredicateCodeAn 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.undefinedPredicatepredicate 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.tag2codePredicateTag 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_bagofprolog code | 
|  class | Predicate_findallprolog code | 
|  class | Predicate_setofprolog code | 
| Uses of PrologCode in gnu.prolog.vm.buildins.arithmetics | 
|---|
| Classes in gnu.prolog.vm.buildins.arithmetics that implement PrologCode | |
|---|---|
|  class | Predicate_equalprolog code | 
|  class | Predicate_greater_thanprolog code | 
|  class | Predicate_greater_than_or_equalprolog code | 
|  class | Predicate_isprolog code | 
|  class | Predicate_less_thanprolog code | 
|  class | Predicate_less_than_or_equalprolog code | 
|  class | Predicate_not_equalprolog code | 
| Uses of PrologCode in gnu.prolog.vm.buildins.atomicterms | 
|---|
| Classes in gnu.prolog.vm.buildins.atomicterms that implement PrologCode | |
|---|---|
|  class | Predicate_atom_charsprolog code | 
|  class | Predicate_atom_codesprolog code | 
|  class | Predicate_atom_concatprolog code | 
|  class | Predicate_atom_lengthprolog code | 
|  class | Predicate_char_codeprolog code | 
|  class | Predicate_number_charsprolog code | 
|  class | Predicate_number_codesprolog code | 
|  class | Predicate_sub_atomprolog code | 
| Uses of PrologCode in gnu.prolog.vm.buildins.database | 
|---|
| Classes in gnu.prolog.vm.buildins.database that implement PrologCode | |
|---|---|
|  class | Predicate_abolishprolog code | 
|  class | Predicate_assertprolog code | 
|  class | Predicate_assertaprolog code | 
|  class | Predicate_assertzprolog code | 
|  class | Predicate_clauseprolog code | 
|  class | Predicate_current_predicateprolog code | 
|  class | Predicate_retractprolog 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_nospyRemove a trace point | 
|  class | Predicate_nospyallRemove all tracepoints | 
|  class | Predicate_notraceDisable tracing | 
|  class | Predicate_spySet a trace point | 
|  class | Predicate_traceEnable tracing | 
|  class | Predicate_tracingCheck 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_flagprolog code | 
|  class | Predicate_haltprolog code | 
|  class | Predicate_set_prolog_flagprolog code | 
| Uses of PrologCode in gnu.prolog.vm.buildins.io | 
|---|
| 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_appendTODO Does: | 
|  class | Predicate_is_list | 
|  class | Predicate_length | 
|  class | Predicate_memberDoes: | 
|  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_comparecompare(?Order, +Term1, +Term2) | 
|  class | Predicate_term_greater_thenprolog code | 
|  class | Predicate_term_greater_then_or_equalprolog code | 
|  class | Predicate_term_identicalprolog code | 
|  class | Predicate_term_less_thenprolog code | 
|  class | Predicate_term_less_then_or_equalprolog code | 
|  class | Predicate_term_not_identicalprolog code | 
| Uses of PrologCode in gnu.prolog.vm.buildins.termcreation | 
|---|
| Classes in gnu.prolog.vm.buildins.termcreation that implement PrologCode | |
|---|---|
|  class | Predicate_argprolog code | 
|  class | Predicate_copy_termprolog code | 
|  class | Predicate_functorprolog code | 
|  class | Predicate_univprolog code | 
| Uses of PrologCode in gnu.prolog.vm.buildins.typetesting | 
|---|
| Classes in gnu.prolog.vm.buildins.typetesting that implement PrologCode | |
|---|---|
|  class | Predicate_atomPredicate variable | 
|  class | Predicate_atomicPredicate variable | 
|  class | Predicate_compoundPredicate variable | 
|  class | Predicate_floatPredicate variable | 
|  class | Predicate_integerPredicate variable | 
|  class | Predicate_java_objectPredicate variable | 
|  class | Predicate_nonvarPredicate variable | 
|  class | Predicate_numberPredicate variable | 
|  class | Predicate_varPredicate variable | 
| Uses of PrologCode in gnu.prolog.vm.buildins.unification | 
|---|
| Classes in gnu.prolog.vm.buildins.unification that implement PrologCode | |
|---|---|
|  class | Predicate_not_unifiabletrue if two term are not unifiable | 
|  class | Predicate_unifyUnify two terms | 
|  class | Predicate_unify_with_occurs_checkUnify 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 | InterpretedByteCodeInterpreted Code. | 
|  class | Predicate_callprolog code | 
| Fields in gnu.prolog.vm.interpreter declared as PrologCode | |
|---|---|
|  PrologCode | CallBacktrackInfo.codecode at moment of first call. | 
| protected  PrologCode[] | InterpretedByteCode.predicateCodespredicate 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.codecode to call, if predicate is dynamic it changes after each update | 
| 
 | GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||