|
|
|
イフコンピュータ
>
IF/Prolog
>
マニュアル
>
IF/Prolog V4.1 マニュアル
>
ユーザーズ・ガイド
|
ユーザーズ・ガイド
|
MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
|
| 続く..
|
-
IF/Prologとは...
-
- IF/Prologは、高速のPrologインタプリタで、Cプログラミング言語とIF/Prologで書かれた増分コンパイル技術(コンパイルアサート)を使用しています。...
-
Prologの概念、言語、アプリケーションの範囲
-
Prologは、現在ソフトウェアエンジニアリングのさまざまな領域において研究が進められています。またスペシフィケーション、デザイン、ツール、サブシステムの実現、テストや証明手続き用の言語として既に使用されています。...
-
初めてのPrologのセッションのための準備
-
IF/Prologインタプリタは、すでにあなたのシステムにインストールしてありますね。手始めにPrologのサンプルプログラムを編集してみることにしましょう。...
-
IF/Prologコンパイラの使用
-
この章では、IF/Prologのコンパイラについて述べます。このコンパイラは機械にほとんど依存しなく効率的に実行ができる中間バイナリコードを生成します。...
-
モジュールの使用
-
-
デバッギング
-
デバッガを使って、IF/Prologがどう動いているかを見ることができます。...
-
レファレンス
-
/ClocMel/ W.F. Clocksin, C.S. Mellish: Programming in Prolog. Springer Verlag Heidelberg 1981...
|
|
|
