Contents: MINERVA

• Overview 2006/8/21
  • What is MINERVA? 2001/9/21
  • Application Areas 2006/8/21
    • Tax Advisor 1996/12/19
    • Life Insurance 1998/8/11
    • DistanceLearning 1996/12/16
    • Intelligent Forms 1996/12/19
    • ....and 3 more ....
  • Java Prolog 1998/12/1
  • Standards 2004/2/5
  • ....and 4 more ....
• Showcase 2003/7/8
  • Testimonials 2003/7/8
    • ArthurAndersen 1999/1/11
    • Brightest 2001/9/4
    • Edutella 2002/11/11
    • JVC 1999/1/11
    • ....and 3 more ....
  • Solutions 2002/3/28
    • Life Insurance 2001/9/27
    • Chain Store Management 2002/1/15
    • Document Management 2002/3/28
• Licensing 2006/3/16
  • MINERVA Evaluation Licence 1997/7/15
  • MINERVA Internet Site Licence 1997/7/15
  • MINERVA Intranet Site Licence 1997/7/15
  • MINERVA Standalone Licence 1997/7/15
  • ....and 2 more ....
• Web Shop 2005/12/22
• Download 1999/4/27
• Example Programs 2004/2/5
  • Applications 2003/2/26
    • Calculator 2001/3/27
    • Eliza 2001/3/21
    • JigsawPuzzle 2001/3/21
    • CAD data exchange and processing with STEP/Express ISO-10303-21 2001/3/22
    • ....and 7 more ....
  • MINERVA Features 2004/2/5
    • HelloWorld 2001/3/22
    • Use Parameters 2001/3/22
    • Directives 2002/3/20
      • dynamic 2001/3/22
      • external 2001/3/22
      • include 2001/3/22
      • package 2001/3/22
      • init 2001/3/22
    • Debugger 2002/3/20
    • ....and 32 more ....
  • Extensions 2002/3/19
    • GUI-AWT 1999/4/19
    • GUI-Swing 2001/3/22
    • Database-JDBC 2001/3/22
    • CORBA 2001/3/22
    • ....and 2 more ....
  • Benchmarks 2001/3/22
    • MrPandMrS 2001/3/22
• Manual 2004/1/12
  • Installation 2003/2/28
    • Before You Start 1998/3/4
    • Local Configuration 2003/2/28
      • Unix 2003/2/28
      • WindowsXP 2003/2/28
      • Windows2000 2003/2/28
      • WindowsNT40 2003/2/28
      • ....and 3 more ....
    • Icons 2001/3/22
    • Confidence Tests 2001/3/22
    • Trouble Shooting 1998/3/4
  • User Guide 1998/4/3
  • Reference 2004/1/12
    • Invocation 2003/2/26
      • minerva 1998/8/13
      • minervad 2002/3/20
      • minervagui 1998/8/13
      • minervac 2003/2/26
      • ....and 6 more ....
    • Predicates 2004/1/12
      • Arithmetic comparison 1998/8/5
        • =:=/2, =\=/2, >/2, >=/2, </2, =</2 1998/8/5
      • Arithmetic evaluation 2003/2/26
        • for/3 1997/6/22
        • is/2 2003/2/26
      • Atomic term processing 2003/7/8
        • atom_chars/2 1998/8/11
        • atom_codes/2 1998/8/5
        • atom_concat/3 1997/6/22
        • atom_concat/2 2002/5/22
        • ....and 11 more ....
      • Text Processing and Regular Expressions 2002/7/4
        • match/2/3 1999/5/10
        • match_all/3 1999/5/10
        • substitute/4 1999/5/10
        • substitute_all/4 2002/7/4
        • ....and 3 more ....
      • ....and 24 more ....
    • Directives 2003/2/27
      • builtin 2002/3/20
      • dynamic 2003/2/26
      • external 2002/3/20
      • include 2002/3/20
      • ....and 7 more ....
    • Arithmetic 2002/3/20
    • ....and 12 more ....
  • Release Notes 2003/2/28
    • MINERVA2.4 2003/2/28
    • MINERVA2.3 2002/3/20
    • MINERVA2.2 2002/3/11
    • MINERVA2.1 1999/10/8
    • ....and 5 more ....
  • Problem Report 1998/3/4
• FAQ 2003/2/28
  • Requirements 2003/2/28
  • Who uses MINERVA? 2002/3/19
  • Servlets? 2002/3/20
  • Support for ActiveX? 1998/3/2
  • ....and 22 more ....
• Other Resources 2006/2/20
  • Books 2003/7/9
  • Conferences 2003/9/6
  • Consultants 1999/4/27
  • Javas 2006/2/20
  • ....and 3 more ....