| 
 | GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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 | InterpretedCodeCompileruses the various classes beginning with I
 and extendingInstructionin theinstructionsub-package to 
 compile clauses toInterpretedByteCode. | 
| gnu.prolog.vm.interpreter.instruction | |
| Uses of Installable in gnu.prolog.vm | 
|---|
| Subinterfaces of Installable in gnu.prolog.vm | |
|---|---|
|  interface | PrologCodeImplementing classes can be executed and return a return code of PrologCode.SUCCESS,PrologCode.SUCCESS_LAST, orPrologCode.FAIL. | 
| Classes in gnu.prolog.vm that implement Installable | |
|---|---|
|  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. | 
| Uses of Installable in gnu.prolog.vm.buildins.allsolutions | 
|---|
| Classes in gnu.prolog.vm.buildins.allsolutions that implement Installable | |
|---|---|
|  class | Predicate_bagofprolog code | 
|  class | Predicate_findallprolog code | 
|  class | Predicate_setofprolog code | 
| Uses of Installable in gnu.prolog.vm.buildins.arithmetics | 
|---|
| Classes in gnu.prolog.vm.buildins.arithmetics that implement Installable | |
|---|---|
|  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 Installable in gnu.prolog.vm.buildins.atomicterms | 
|---|
| Classes in gnu.prolog.vm.buildins.atomicterms that implement Installable | |
|---|---|
|  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 Installable in gnu.prolog.vm.buildins.database | 
|---|
| Classes in gnu.prolog.vm.buildins.database that implement Installable | |
|---|---|
|  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 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_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 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_flagprolog code | 
|  class | Predicate_haltprolog code | 
|  class | Predicate_set_prolog_flagprolog code | 
| Uses of Installable in gnu.prolog.vm.buildins.io | 
|---|
| 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_appendTODO Does: | 
|  class | Predicate_is_list | 
|  class | Predicate_length | 
|  class | Predicate_memberDoes: | 
|  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_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 Installable in gnu.prolog.vm.buildins.termcreation | 
|---|
| Classes in gnu.prolog.vm.buildins.termcreation that implement Installable | |
|---|---|
|  class | Predicate_argprolog code | 
|  class | Predicate_copy_termprolog code | 
|  class | Predicate_functorprolog code | 
|  class | Predicate_univprolog code | 
| Uses of Installable in gnu.prolog.vm.buildins.typetesting | 
|---|
| Classes in gnu.prolog.vm.buildins.typetesting that implement Installable | |
|---|---|
|  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 Installable in gnu.prolog.vm.buildins.unification | 
|---|
| Classes in gnu.prolog.vm.buildins.unification that implement Installable | |
|---|---|
|  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 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 | InterpretedByteCodeInterpreted Code. | 
|  class | Predicate_callprolog code | 
| Uses of Installable in gnu.prolog.vm.interpreter.instruction | 
|---|
| Classes in gnu.prolog.vm.interpreter.instruction that implement Installable | |
|---|---|
|  class | IAllocateallocate environment instruction | 
|  class | ICallcall instruction. | 
|  class | ICreateCompoundTermcreate compound term | 
|  class | ICreateVariablecreate variable on pushDownStack | 
|  class | ICutcut instruction | 
|  class | IDupduplicate top of pushdown stack | 
|  class | IFailfail instruction | 
|  class | IJumptrue instruction | 
|  class | Instructionbase call for instruction | 
|  class | IPopdelete term from top of pushdown stack | 
|  class | IPushArgumentpush argument of execution state | 
|  class | IPushConstantpush constant term | 
|  class | IPushEnvironmentpush term from environment | 
|  class | IRestoreStateRestore current state from BacktrackInfo stored in environment | 
|  class | IRetryMeElseretry_me_else instruction | 
|  class | IReturnreturn with success instruction | 
|  class | ISaveCutsave latest choice point as cut position instruction | 
|  class | ISaveStateSave current state as BacktrackInfo in environment | 
|  class | IStoreEnvironmentsave top of pushdown list in environment | 
|  class | IThrowthrow instruction | 
|  class | ITruetrue instruction | 
|  class | ITrustMetrust_me instruction | 
|  class | ITryMeElsetry_me_else instruction | 
|  class | IUnifycall instruction. | 
|  class | RetryInstructionbase class to try_me_else and retry_me_else instructions. | 
| 
 | GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||