GNU Prolog for Java

Uses of Interface

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

Subinterfaces of Installable in gnu.prolog.vm
 interface PrologCode
          prolog code

Classes in gnu.prolog.vm that implement Installable
 class ExecuteOnlyCode
          For Predicates which do not need to be installed or uninstalled.
 class UndefinedPredicateCode
          prolog code

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

Classes in 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

Classes in 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
 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.

GNU Prolog for Java