|
GNU Prolog for Java | |||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
---|
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 | |||||||||
PREV NEXT | FRAMES NO FRAMES |