ユーザーズ・ガイド

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...