GNU Prolog for Java

Uses of Interface
gnu.prolog.vm.Installable

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


GNU Prolog for Java