Overview Package Class Use Tree Deprecated Index Help
GNU Prolog for Java
PREV NEXT FRAMES NO FRAMES All Classes

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


Overview Package Class Use Tree Deprecated Index Help
GNU Prolog for Java
PREV NEXT FRAMES NO FRAMES All Classes

AltStyle によって変換されたページ (->オリジナル) /