GNU Prolog for Java

Uses of Interface
gnu.prolog.vm.PrologCode

Packages that use PrologCode
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 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
          prolog code
 

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


GNU Prolog for Java