Index: MINERVA

!(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
A single applet for a whole web site? FAQ MINERVA
All Solutions Predicates Reference Manual MINERVA
Applet vs Application FAQ MINERVA
Applet without GUI? FAQ MINERVA
AppletLoadsFile MinervaFeatures ExamplePrograms MINERVA
Application Areas Overview MINERVA
Applications ExamplePrograms MINERVA
Arithmetic MinervaFeatures ExamplePrograms MINERVA
Arithmetic Reference Manual MINERVA
Arithmetic comparison Predicates Reference Manual MINERVA
Arithmetic evaluation Predicates Reference Manual MINERVA
ArthurAndersen Testimonials Showcase MINERVA
Asynchronous timer handling Predicates Reference Manual MINERVA
Atomic term processing Predicates Reference Manual MINERVA
Before You Start Installation Manual MINERVA
Benchmarks ExamplePrograms MINERVA
BinaryIO Predicates Reference Manual MINERVA
Blackboards Predicates Reference Manual MINERVA
Books OtherResources MINERVA
Brightest Testimonials Showcase MINERVA
Browsers OtherResources MINERVA
Bugs Restrictions Reference Manual MINERVA
Byte input/output Bugs Restrictions Reference Manual MINERVA
CAD data exchange and processing with STEP/Express ISO-10303-21 Applications ExamplePrograms MINERVA
CGI-BIN Programming Needed? FAQ MINERVA
CORBA Extensions ExamplePrograms MINERVA
Calculator Applications ExamplePrograms MINERVA
Chain Store Management Solutions Showcase MINERVA
Character input/output Predicates Reference Manual MINERVA
CircuitAnalysis Applications ExamplePrograms MINERVA
Clause creation and destruction Predicates Reference Manual MINERVA
Clause retrieval and information Predicates Reference Manual MINERVA
Client-Server with Sockets MinervaFeatures ExamplePrograms MINERVA
Communication between distributed Minerva processes. Predicates Reference Manual MINERVA
Compilation Predicates Reference Manual MINERVA
Conferences OtherResources MINERVA
Confidence Tests Installation Manual MINERVA
Constraints MinervaFeatures ExamplePrograms MINERVA
Constraints Predicates Reference Manual MINERVA
Consultants OtherResources MINERVA
ConvertGui Applications ExamplePrograms MINERVA
Custom Design ApplicationAreas Overview MINERVA
Database-JDBC Extensions ExamplePrograms MINERVA
DatabaseConnectivity FAQ MINERVA
Date MinervaFeatures ExamplePrograms MINERVA
Debugger MinervaFeatures ExamplePrograms MINERVA
Debugger Reference Manual MINERVA
Developed By? FAQ MINERVA
Development Environment? FAQ MINERVA
Directives MinervaFeatures ExamplePrograms MINERVA
Directives Reference Manual MINERVA
DistanceLearning ApplicationAreas Overview MINERVA
Document Management Solutions Showcase MINERVA
Download MINERVA
Edutella Testimonials Showcase MINERVA
Eliza Applications ExamplePrograms MINERVA
Embedded? FAQ MINERVA
Error Messages Reference Manual MINERVA
Example Programs MINERVA
ExecProcess MinervaFeatures ExamplePrograms MINERVA
ExecProcess_2 MinervaFeatures ExamplePrograms MINERVA
Extensions ExamplePrograms MINERVA
FAQ MINERVA
File From Server MinervaFeatures ExamplePrograms MINERVA
File Names Reference Manual MINERVA
Functions Reference Manual MINERVA
Future Road Map Overview MINERVA
GUI MinervaFeatures ExamplePrograms MINERVA
GUI-AWT Extensions ExamplePrograms MINERVA
GUI-Swing Extensions ExamplePrograms MINERVA
GetURL MinervaFeatures ExamplePrograms MINERVA
Goban Applications ExamplePrograms MINERVA
Grammar rules Predicates Reference Manual MINERVA
Gui Image MinervaFeatures ExamplePrograms MINERVA
Gui Programming Reference Manual MINERVA
GuiEvents MinervaFeatures ExamplePrograms MINERVA
HelloWorld MinervaFeatures ExamplePrograms MINERVA
Help Desk ApplicationAreas Overview MINERVA
High Level MinervaToJavaInterface Reference Manual MINERVA
IF Computer Overview MINERVA
ISO13211 Restrictions Reference Manual MINERVA
Icons Installation Manual MINERVA
Implementation Limits Restrictions Reference Manual MINERVA
Installation Manual MINERVA
Intelligent Forms ApplicationAreas Overview MINERVA
Interactive MinervaFeatures ExamplePrograms MINERVA
Internationalization MinervaFeatures ExamplePrograms MINERVA
Internationalization Reference Manual MINERVA
Interpreter? FAQ MINERVA
Invocation Reference Manual MINERVA
JDBC MinervaFeatures ExamplePrograms MINERVA
JNI access? FAQ MINERVA
JP Extensions ExamplePrograms MINERVA
JVC Testimonials Showcase MINERVA
Japanese Support? FAQ MINERVA
Java Applet Uses Minerva MinervaFeatures ExamplePrograms MINERVA
Java Prolog Overview MINERVA
Java to MINERVA Interface Reference Manual MINERVA
JavaArrays MinervaFeatures ExamplePrograms MINERVA
JavaBeans Support? FAQ MINERVA
JavaToMinerva_1 MinervaFeatures ExamplePrograms MINERVA
JavaToMinerva_2 MinervaFeatures ExamplePrograms MINERVA
JavaToMinerva_3 MinervaFeatures ExamplePrograms MINERVA
JavaToMinerva_4 MinervaFeatures ExamplePrograms MINERVA
JavaToMinerva_5 MinervaFeatures ExamplePrograms MINERVA
JavaToMinerva_6 MinervaFeatures ExamplePrograms MINERVA
Javas OtherResources MINERVA
JigsawPuzzle Applications ExamplePrograms MINERVA
Licensing MINERVA
Life Insurance ApplicationAreas Overview MINERVA
Life Insurance Solutions Showcase MINERVA
Lists Predicates Reference Manual MINERVA
Local Configuration Installation Manual MINERVA
Logic and control Predicates Reference Manual MINERVA
MINERVA Evaluation Licence Licensing MINERVA
MINERVA Features ExamplePrograms MINERVA
MINERVA Internet Site Licence Licensing MINERVA
MINERVA Intranet Site Licence Licensing MINERVA
MINERVA OEM Licence Licensing MINERVA
MINERVA Server Licence Licensing MINERVA
MINERVA Standalone Licence Licensing MINERVA
MINERVA to Java Interface Reference Manual MINERVA
MINERVA1.0 ReleaseNotes Manual MINERVA
MINERVA1.1 ReleaseNotes Manual MINERVA
MINERVA1.2 ReleaseNotes Manual MINERVA
MINERVA1.3 ReleaseNotes Manual MINERVA
MINERVA2.0 ReleaseNotes Manual MINERVA
MINERVA2.1 ReleaseNotes Manual MINERVA
MINERVA2.2 ReleaseNotes Manual MINERVA
MINERVA2.3 ReleaseNotes Manual MINERVA
MINERVA2.4 ReleaseNotes Manual MINERVA
Machine Dependencies? FAQ MINERVA
Manual MINERVA
MinervaToJava MinervaFeatures ExamplePrograms MINERVA
MinervaToJavaScript MinervaFeatures ExamplePrograms MINERVA
MinervaToJava_1 MinervaFeatures ExamplePrograms MINERVA
MinervaToJava_2 MinervaFeatures ExamplePrograms MINERVA
MinervaToJava_3 MinervaFeatures ExamplePrograms MINERVA
MinervaToJava_4 MinervaFeatures ExamplePrograms MINERVA
MrPandMrS Benchmarks ExamplePrograms MINERVA
Multiple Applets? FAQ MINERVA
Multiple Threads? FAQ MINERVA
NEC Testimonials Showcase MINERVA
Object Oriented? FAQ MINERVA
Objects Reference Manual MINERVA
Organizations OtherResources MINERVA
Othello Applications ExamplePrograms MINERVA
Other Resources MINERVA
Overview MINERVA
Package: gui GuiProgramming Reference Manual MINERVA
Package: guibuilder GuiProgramming Reference Manual MINERVA
Packages Reference Manual MINERVA
Parallel Processes? FAQ MINERVA
ParisMiki Testimonials Showcase MINERVA
Performance Overview MINERVA
Platforms Overview MINERVA
Predicates Reference Manual MINERVA
Problem Report Manual MINERVA
Program Security? FAQ MINERVA
Reference Manual MINERVA
Reflection MinervaFeatures ExamplePrograms MINERVA
Reflection MinervaToJavaInterface Reference Manual MINERVA
Release Notes Manual MINERVA
Requirements FAQ MINERVA
Restrictions Reference Manual MINERVA
SMTP Client Applications ExamplePrograms MINERVA
SanoKogei Testimonials Showcase MINERVA
Secure WWW ApplicationAreas Overview MINERVA
Serialization? FAQ MINERVA
Servlet MinervaFeatures ExamplePrograms MINERVA
Servlet Predicates Reference Manual MINERVA
Servlets? FAQ MINERVA
Showcase MINERVA
Size of MINERVA? FAQ MINERVA
Solutions Showcase MINERVA
Speech-JSAPI Extensions ExamplePrograms MINERVA
Standards Overview MINERVA
StartupArchive MinervaFeatures ExamplePrograms MINERVA
Stream selection and control Predicates Reference Manual MINERVA
Support for ActiveX? FAQ MINERVA
SymbolicMath Applications ExamplePrograms MINERVA
Tax Advisor ApplicationAreas Overview 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
Testimonials Showcase MINERVA
Text Processing and Regular Expressions Predicates Reference Manual MINERVA
Trouble Shooting Installation Manual MINERVA
Type testing Predicates Reference Manual MINERVA
Unix LocalConfiguration Installation Manual MINERVA
Use Parameters MinervaFeatures ExamplePrograms MINERVA
User Guide Manual MINERVA
Web Servers OtherResources MINERVA
Welding Robot Applications ExamplePrograms MINERVA
What Binary Code? FAQ MINERVA
What is MINERVA? Overview MINERVA
When is what loaded? FAQ MINERVA
Who uses MINERVA? FAQ MINERVA
Win95Parameters Bugs Restrictions Reference Manual MINERVA
Windows2000 LocalConfiguration Installation Manual MINERVA
Windows95 LocalConfiguration Installation Manual MINERVA
Windows98 LocalConfiguration Installation Manual MINERVA
WindowsME LocalConfiguration Installation Manual MINERVA
WindowsNT40 LocalConfiguration Installation Manual MINERVA
WindowsXP LocalConfiguration Installation 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
builtin Directives 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
char_conversion ISO13211 Restrictions 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
double_quotes Directives Reference Manual MINERVA
dynamic Directives MinervaFeatures ExamplePrograms MINERVA
dynamic Directives Reference Manual MINERVA
ensure_loaded Directives Reference Manual MINERVA
expand_term/2 grammar_rules Predicates Reference Manual MINERVA
external Directives MinervaFeatures ExamplePrograms MINERVA
external Directives 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
guievent GuiProgramming Reference Manual MINERVA
halt/0/1 logic_and_control Predicates Reference Manual MINERVA
import Directives Reference Manual MINERVA
include Directives MinervaFeatures ExamplePrograms MINERVA
include Directives Reference Manual MINERVA
init Directives MinervaFeatures ExamplePrograms MINERVA
init Directives Reference Manual MINERVA
initialization Directives 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
main 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
minerva Invocation Reference Manual MINERVA
minervac Invocation Reference Manual MINERVA
minervad Invocation Reference Manual MINERVA
minervagui Invocation Reference Manual MINERVA
minervar Invocation Reference Manual MINERVA
minervax Invocation Reference Manual MINERVA
minmake Invocation Reference Manual MINERVA
mjar Invocation Reference Manual MINERVA
mjava Invocation Reference Manual MINERVA
mjavac Invocation Reference Manual MINERVA
multifile ISO13211 Restrictions 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 Directives Reference Manual MINERVA
op/3 term_io Predicates Reference Manual MINERVA
open/3/4 stream_selection Predicates Reference Manual MINERVA
package Directives MinervaFeatures ExamplePrograms MINERVA
package Directives 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
release200203 Bugs Restrictions 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
static MinervaToJavaInterface 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/idx_en.html
published 2012/2/6 update 2009/1/17 (c) 1996-2009 IF Computer Japan
IF Computer 5-28-2 Sendagi, Bunkyo-ku Tel +81-3-5814-3352 start (AT) ifcomputer.com
Customer Support Tokyo 113-0022 Japan   http://www.ifcomputer.com
scroll to top managed with ubiCMS