Kprolog.com
Title
K-Prolog
Description
2005年12月25-29日 version 5.1.4 Solaris/sparc及びx86版,Windows版,Linux版,MacOSX版の公開
バージョン5.1はProlog言語のISO規格(ISO/IEC13211-1)に完全準拠したバージョン5.0に加え、論理的代入とモジュール内グローバル変数の機能を追加したものです。 バージョン5.0のライセンスをお持ちの方とバージョン4.0の保守契約期間内のユーザの方は無償でバージョンアップ出来ます。 アーカイブ より ダウンロードして下さい。
このバージョンには、 Java Interface to Prolog のバイナリとソースが含まれています。これは、 PrologとJavaのインタフェースをJDK1.2-1.3のReflectionとJNIを使って実現したものです。
Languages
日本語 (Japanese)