Contents: IF Computer

• News 2009/1/10
  • 2009-01-08 Server Downsizing 2009/1/5
  • 2008-08-18 Email Entry Points New 2008/8/28
  • 2007-07-10 Natural Building Business School 2007/7/11
  • 2007-06-08 Server break-in attacker IP numbers 2009/1/10
  • ....und 92 weitere ....
• MINERVA 2009/1/17
  • 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
      • ....und 3 weitere ....
    • Java Prolog 1998/12/1
    • Standards 2004/2/5
    • ....und 4 weitere ....
  • Showcase 2003/7/8
    • Testimonials 2003/7/8
      • ArthurAndersen 1999/1/11
      • Brightest 2001/9/4
      • Edutella 2002/11/11
      • JVC 1999/1/11
      • ....und 3 weitere ....
    • 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
    • ....und 2 weitere ....
  • Download 2009/1/17
  • ....und 4 weitere ....
• DialogEngines 2003/8/15
• WeaveWeb 2005/6/13
• FranchiseEngine 2004/2/17
• ISOengines 2003/8/14
• IF/Prolog 2009/1/17
  • Specifications 2001/6/26
    • IF/PrologV5.x ?erblick 2001/6/26
    • IF/Prolog 5.x f? UNIX 2001/5/25
    • IF/Prolog 5.x f? MS-Windows 2001/6/13
  • Constraint Technology Package 2001/5/28
    • Specification 2001/5/28
    • Application Areas 1996/12/9
    • Example Programs 2001/3/21
      • Job-Shop Scheduling I 2001/3/21
      • Job-Shop Scheduling II 2001/3/21
      • Farmland Management 1996/12/10
      • Smith Puzzle 1996/12/10
      • ....und 3 weitere ....
  • Applications based on IF/Prolog 2001/10/24
    • Health Care Support 2001/10/24
    • Online Timetabling 2001/10/24
    • Network-wide Management 1999/3/25
    • Mapping the Human Genome 1999/3/25
    • ....und 25 weitere ....
  • Prolog Organisationen 1997/6/11
  • Manuals 2002/4/3
    • IF/Prolog V5.3 Manual 2002/4/3
      • 2001/6/25
    • IF/Prolog V5.2 Manual 2002/4/3
      • 日本語の使用 2000/9/1
    • IF/Prolog V5.1 Manual 2000/9/1
      • 日本語の使用 2000/9/1
    • IF/Prolog V5.0 Manual 1997/7/23
      • Installation Guide 1997/7/23
        • Installing IF/Prolog under Unix 1997/3/17
          • Memory requirements 1997/3/17
          • Software requirements 1997/3/12
          • Installation 1997/3/17
            • Installation from a local tape drive 1997/3/17
            • Installation over a network connection from a remote host 1997/3/17
            • Installation of compressed files 1997/3/17
            • Further Explanations 1997/3/17
          • Troubleshooting 1997/3/17
          • Licensing 1997/3/12
        • Windows Installation Procedures 1997/7/23
          • Getting your licence information 1997/3/17
          • Installing Win32S for Windows 3.x 1997/3/17
      • 1997/4/1
    • IF/Prolog V4.1 マニュアル 2001/3/21
      • イントロダクション 1995/11/7
        • IF/Prolog マニュアル 1995/10/13
        • IF/Prolog 4.1 レリースノート 1995/11/7
        • IF/Prolog 4.0のレリースノート 1995/11/7
          • 構文 1995/10/13
          • 新しいIF/Prologコンパイラ 1994/7/21
          • ガーベジ・コレクション 1994/7/21
          • 信号処理 1994/7/21
          • ....und 7 weitere ....
        • IF/Prologソフトウェア/マニュアル 問題レポート 1994/7/21
      • インストールガイド 2001/3/21
        • UNIXにおけるIF/Prolog 1995/11/7
          • UNIXにIF/Prologをインストールする。(UNIX上でのユーザの方のみお読み下さい。) 1994/7/20
          • ベンチマークテストの実行 1995/11/7
        • VAX/VMS上のIF/Prolog 4.1 2001/3/21
          • VAX/VMSにIF/Prologをインストールする。 1994/7/21
          • 例題: ベンチマークテストの実行 2001/3/21
          • UNIX上の標準IF/Prologとの相違点 1994/8/30
      • ユーザーズ・ガイド 1995/11/7
        • IF/Prologとは... 1995/11/7
        • Prologの概念、言語、アプリケーションの範囲 1995/11/7
        • 初めてのPrologのセッションのための準備 1995/11/7
          • IF/Prologの起動 1994/7/26
          • データの読み込み 1994/7/26
            • 編集したPrologのファイルをコンサルトする 1994/7/26
            • 節のコンサルト 1994/7/26
            • 対話的プログラミング 1994/7/26
          • データベースのリスティング 1994/7/26
          • データの削除 1995/11/7
            • ファイルのリコンサルト 1994/7/26
            • 対話のリコンサルト 1994/7/26
            • 節の削除 1995/11/7
          • ....und 5 weitere ....
        • IF/Prologコンパイラの使用 1995/11/7
          • 述語のコンパイル方法 1994/7/26
          • コンパイルされた述語の使用 1994/8/30
          • コンパイルされる述語について 1994/7/26
          • コンパイルのためのファイル準備 1994/7/26
          • ....und 2 weitere ....
        • ....und 3 weitere ....
      • IF/PrologのX開発環境 2001/3/21
        • イントロダクション 1994/9/5
        • 要求と開始 1994/9/5
        • コマンドウィンドウ 2001/3/21
          • 質問の入力 1994/9/5
          • バックトラッキング 1994/9/5
          • IF/Prologの出力先 1995/11/7
          • メッセージ・ウィンドウ 1994/9/5
          • ....und 6 weitere ....
        • IF/Prologウインドウ・デバッガ 2001/3/21
          • 実行コントロール 1995/10/31
          • ポート停止トグル 1994/9/5
          • 表示コントロール 1995/10/31
          • ズーミング機能 1995/10/31
          • ....und 3 weitere ....
        • ....und 4 weitere ....
      • ....und 2 weitere ....
• Consulting 2007/6/25
  • Services 2004/4/1
  • Technology 2005/6/13
  • ProjectExamples 2007/6/25
  • Clients 2004/2/13
  • ....und 2 weitere ....
• Unternehmen 2006/9/1
  • Management 2005/6/13
  • Data 2006/2/20
  • Partners 2006/9/1
  • Clients 2006/2/20