Visual Prolog とは

以前はPDC PrologおよびTurbo Prologとしても知られていたVisual Prologは、Prologのオブジェクト指向型の拡張です。 Turbo PrologはBorlandによって販売されましたが、現在開発中のデンマークのProlog Development Center(PDC)によって開発され、販売されています。 Visual Prologは、Microsoft WindowsのGUIアプリケーション、コンソールアプリケーション、DLL(ダイナミックリンクライブラリ)、およびCGIプログラムを構築できます。また、ODBCを使用してCOMコンポーネントおよびデータベースにリンクすることもできます。
論理言語は伝統的に解釈されますが、Visual Prologはコンパイルされます。これにより、従来のPrologの典型的な実行時エラーをコンパイラの警告に変換する重要な改善が提供され、完成したアプリケーションの堅牢性が向上します。
Visual Prologのコアは、従来のPrologのようにホーン句、代数データ型、パターンマッチング、および制御された非決定論ですが、従来のPrologとは異なり、常にVisual Prologは強く静的に型付けされています。