Index: Predicates

!(Cut)/0 logic_and_control Predicates Reference Manual MINERVA
','(Conjunction)/2 logic_and_control Predicates Reference Manual MINERVA
';'(Disjunction)/2 logic_and_control Predicates Reference Manual MINERVA
';'(If-then-else)/2 logic_and_control Predicates Reference Manual MINERVA
'\+'/1 logic_and_control Predicates Reference Manual MINERVA
->(If-then)/2 logic_and_control Predicates Reference Manual MINERVA
::(Apply)/2 logic_and_control Predicates Reference Manual MINERVA
<-(Eval)/2 logic_and_control Predicates Reference Manual MINERVA
=../2 term_creat_decomp Predicates Reference Manual MINERVA
=/2 term_unification Predicates Reference Manual MINERVA
=:=/2, =\=/2, >/2, >=/2, </2, =</2 arithm_comp Predicates Reference Manual MINERVA
==/2, \==/2, @</2, @=</2, @>/2, @>=/2 term_comp Predicates Reference Manual MINERVA
All Solutions Predicates Reference Manual MINERVA
Arithmetic comparison Predicates Reference Manual MINERVA
Arithmetic evaluation Predicates Reference Manual MINERVA
Asynchronous timer handling Predicates Reference Manual MINERVA
Atomic term processing Predicates Reference Manual MINERVA
BinaryIO Predicates Reference Manual MINERVA
Blackboards Predicates Reference Manual MINERVA
Character input/output Predicates Reference Manual MINERVA
Clause creation and destruction Predicates Reference Manual MINERVA
Clause retrieval and information Predicates Reference Manual MINERVA
Communication between distributed Minerva processes. Predicates Reference Manual MINERVA
Compilation Predicates Reference Manual MINERVA
Constraints Predicates Reference Manual MINERVA
Grammar rules Predicates Reference Manual MINERVA
Lists Predicates Reference Manual MINERVA
Logic and control Predicates Reference Manual MINERVA
Servlet Predicates Reference Manual MINERVA
Stream selection and control Predicates Reference Manual MINERVA
Term Stream Predicates Reference Manual MINERVA
Term comparison Predicates Reference Manual MINERVA
Term creation and decomposition Predicates Reference Manual MINERVA
Term input/output Predicates Reference Manual MINERVA
Term unification Predicates Reference Manual MINERVA
Term vector Predicates Reference Manual MINERVA
Text Processing and Regular Expressions Predicates Reference Manual MINERVA
Type testing Predicates Reference Manual MINERVA
XML (eXtended Markup Language) terms Predicates Reference Manual MINERVA
\=/2 term_unification Predicates Reference Manual MINERVA
abolish/1 clause_creat_destruct Predicates Reference Manual MINERVA
abort/0 logic_and_control Predicates Reference Manual MINERVA
append/3 lists Predicates Reference Manual MINERVA
arg/3 term_creat_decomp Predicates Reference Manual MINERVA
asserta/1 clause_creat_destruct Predicates Reference Manual MINERVA
assertz/1 clause_creat_destruct Predicates Reference Manual MINERVA
at_end_of_stream/0/1 stream_selection Predicates Reference Manual MINERVA
atom/1 type_test Predicates Reference Manual MINERVA
atom_chars/2 atomic_term Predicates Reference Manual MINERVA
atom_codes/2 atomic_term Predicates Reference Manual MINERVA
atom_concat/2 atomic_term Predicates Reference Manual MINERVA
atom_concat/3 atomic_term Predicates Reference Manual MINERVA
atom_length/2 atomic_term Predicates Reference Manual MINERVA
atom_lower/2 atomic_term Predicates Reference Manual MINERVA
atom_number/2 atomic_term Predicates Reference Manual MINERVA
atom_upper/2 atomic_term Predicates Reference Manual MINERVA
atomic/1 type_test Predicates Reference Manual MINERVA
bagof/3 all_solutions Predicates Reference Manual MINERVA
bb_clear/1 blackboard Predicates Reference Manual MINERVA
bb_clear/2 blackboard Predicates Reference Manual MINERVA
bb_contains/2 blackboard Predicates Reference Manual MINERVA
bb_contains_key/2 blackboard Predicates Reference Manual MINERVA
bb_create/1 blackboard Predicates Reference Manual MINERVA
bb_elements/2 blackboard Predicates Reference Manual MINERVA
bb_get/3 blackboard Predicates Reference Manual MINERVA
bb_get/4 blackboard Predicates Reference Manual MINERVA
bb_keys/2 blackboard Predicates Reference Manual MINERVA
bb_put/3 blackboard Predicates Reference Manual MINERVA
bb_put/4 blackboard Predicates Reference Manual MINERVA
bb_remove/2 blackboard Predicates Reference Manual MINERVA
bb_size/2 blackboard Predicates Reference Manual MINERVA
break logic_and_control Predicates Reference Manual MINERVA
call/1 logic_and_control Predicates Reference Manual MINERVA
catch/3 logic_and_control Predicates Reference Manual MINERVA
char_code/2 atomic_term Predicates Reference Manual MINERVA
chop/2 regexp Predicates Reference Manual MINERVA
clause/2 clause_retrieve Predicates Reference Manual MINERVA
client_start/3 sockets Predicates Reference Manual MINERVA
client_stop/1 sockets Predicates Reference Manual MINERVA
close/1 stream_selection Predicates Reference Manual MINERVA
co_add/2 Constraints Predicates Reference Manual MINERVA
co_check/2 Constraints Predicates Reference Manual MINERVA
co_get/2 Constraints Predicates Reference Manual MINERVA
co_merge/2 Constraints Predicates Reference Manual MINERVA
collect/3 clause_creat_destruct Predicates Reference Manual MINERVA
compile/1/3 Compilation Predicates Reference Manual MINERVA
compound/1 type_test Predicates Reference Manual MINERVA
copy_term/2 term_creat_decomp Predicates Reference Manual MINERVA
current_error/1 stream_selection Predicates Reference Manual MINERVA
current_global/1 global_variable Predicates Reference Manual MINERVA
current_input/1 stream_selection Predicates Reference Manual MINERVA
current_op/3 term_io Predicates Reference Manual MINERVA
current_output/1 stream_selection Predicates Reference Manual MINERVA
current_predicate/1 clause_retrieve Predicates Reference Manual MINERVA
expand_term/2 grammar_rules Predicates Reference Manual MINERVA
fail/0 logic_and_control Predicates Reference Manual MINERVA
fcall/1 logic_and_control Predicates Reference Manual MINERVA
findall/3 all_solutions Predicates Reference Manual MINERVA
float/1 type_test Predicates Reference Manual MINERVA
flush_output/0/1 stream_selection Predicates Reference Manual MINERVA
for/3 arithm_eval Predicates Reference Manual MINERVA
functor/3 term_creat_decomp Predicates Reference Manual MINERVA
get_char/1/2 char_io Predicates Reference Manual MINERVA
get_code/1/2 char_io Predicates Reference Manual MINERVA
get_global/2 global_variable Predicates Reference Manual MINERVA
get_line/1/2 regexp Predicates Reference Manual MINERVA
global variables Predicates Reference Manual MINERVA
halt/0/1 logic_and_control Predicates Reference Manual MINERVA
integer/1 type_test Predicates Reference Manual MINERVA
is/2 arithm_eval Predicates Reference Manual MINERVA
listener_start/3 sockets Predicates Reference Manual MINERVA
listener_stop/3 sockets Predicates Reference Manual MINERVA
load/1 clause_creat_destruct Predicates Reference Manual MINERVA
loaded/1/2 clause_creat_destruct Predicates Reference Manual MINERVA
match/2/3 regexp Predicates Reference Manual MINERVA
match_all/3 regexp Predicates Reference Manual MINERVA
member/2 lists Predicates Reference Manual MINERVA
merge_sort/2 lists Predicates Reference Manual MINERVA
nl/0/1 char_io Predicates Reference Manual MINERVA
nonvar/1 type_test Predicates Reference Manual MINERVA
number/1 type_test Predicates Reference Manual MINERVA
number_chars/2 atomic_term Predicates Reference Manual MINERVA
number_codes/2 atomic_term Predicates Reference Manual MINERVA
once/1 logic_and_control Predicates Reference Manual MINERVA
op/3 term_io Predicates Reference Manual MINERVA
open/3/4 stream_selection Predicates Reference Manual MINERVA
parse_atom/2/3 atomic_term Predicates Reference Manual MINERVA
peek_char/1/2 char_io Predicates Reference Manual MINERVA
peek_code/1/2 char_io Predicates Reference Manual MINERVA
phrase/2 grammar_rules Predicates Reference Manual MINERVA
print/1/2 term_io Predicates Reference Manual MINERVA
println/1/2 term_io Predicates Reference Manual MINERVA
put_char/1/2 char_io Predicates Reference Manual MINERVA
put_code/1/2 char_io Predicates Reference Manual MINERVA
read/1/2 term_io Predicates Reference Manual MINERVA
read_binary_term/2 TermStream Predicates Reference Manual MINERVA
read_term/2/3 term_io Predicates Reference Manual MINERVA
read_xml/2/3 XML Predicates Reference Manual MINERVA
receive/2 sockets Predicates Reference Manual MINERVA
repeat/0 logic_and_control Predicates Reference Manual MINERVA
retract/1 clause_creat_destruct Predicates Reference Manual MINERVA
retractall/1 clause_creat_destruct Predicates Reference Manual MINERVA
reverse/2/3 lists Predicates Reference Manual MINERVA
send/2 sockets Predicates Reference Manual MINERVA
server_start/4 sockets Predicates Reference Manual MINERVA
server_stop/1 sockets Predicates Reference Manual MINERVA
set_error/1 stream_selection Predicates Reference Manual MINERVA
set_global/2 global_variable Predicates Reference Manual MINERVA
set_input/1 stream_selection Predicates Reference Manual MINERVA
set_output/1 stream_selection Predicates Reference Manual MINERVA
setof/3 all_solutions Predicates Reference Manual MINERVA
sort/2 lists Predicates Reference Manual MINERVA
split/2/3 regexp Predicates Reference Manual MINERVA
sub_atom/5 atomic_term Predicates Reference Manual MINERVA
substitute/4 regexp Predicates Reference Manual MINERVA
substitute_all/4 regexp Predicates Reference Manual MINERVA
term2xml/3 XML Predicates Reference Manual MINERVA
term2xmldoc/3 XML Predicates Reference Manual MINERVA
throw/1 logic_and_control Predicates Reference Manual MINERVA
timer_close/1 timer Predicates Reference Manual MINERVA
timer_create/2 timer Predicates Reference Manual MINERVA
timer_is_active/1 timer Predicates Reference Manual MINERVA
timer_start/2 timer Predicates Reference Manual MINERVA
timer_stop/1 timer Predicates Reference Manual MINERVA
true/0 logic_and_control Predicates Reference Manual MINERVA
tv_add/2 termvector Predicates Reference Manual MINERVA
tv_create/1 termvector Predicates Reference Manual MINERVA
tv_get/3 termvector Predicates Reference Manual MINERVA
tv_list/2 termvector Predicates Reference Manual MINERVA
tv_set/3 termvector Predicates Reference Manual MINERVA
tv_setsize/2 termvector Predicates Reference Manual MINERVA
tv_size/2 termvector Predicates Reference Manual MINERVA
unifiy_with_occurs_check/2 term_unification Predicates Reference Manual MINERVA
unload/1 clause_creat_destruct Predicates Reference Manual MINERVA
var/1 type_test Predicates Reference Manual MINERVA
write/1/2 term_io Predicates Reference Manual MINERVA
write_atom/2 atomic_term Predicates Reference Manual MINERVA
write_binary_term/2 TermStream Predicates Reference Manual MINERVA
write_canonical/1/2 term_io Predicates Reference Manual MINERVA
write_term/2/3 term_io Predicates Reference Manual MINERVA
write_xml/1/2 XML Predicates Reference Manual MINERVA
writeq/1/2 term_io Predicates Reference Manual MINERVA
writeq_atom/2 atomic_term Predicates Reference Manual MINERVA
xml2term/3 XML Predicates Reference Manual MINERVA
xmldoc2term/3 XML Predicates Reference Manual MINERVA
no further details at this level
MINERVA
ifcomputer logo
f
Expert Services on the Web
Language
English
Japanese
Server
USA
Japan
Site Access
Local Index
Local Contents
Site Contents
Site Index
Printer Friendly
For imode
For PDA
Search
document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/idx_en.html
published 2008/7/21 update 2004/1/12 (c) 1996-2006 IF Computer Japan
IF Computer 5-28-2 Sendagi, Bunkyo-ku Tel +81-3-5814-3352 info@ifcomputer.com
Customer Support Tokyo 113-0022 Japan   http://www.ifcomputer.com
scroll to top managed with ubiCMS