Siemens社製のIF/Prologは
ビジネスでの使用に合うISO Prologです。Cで実装。Unix、WindowsNT、2000,
98、95で使用可能。IF/Prolog5.1B以上は、Y2K問題解消済みです。
仕様
制約処理パッケージ
IF/Prologベースの応用
様々なライセンス
国内外のProlog関連の組織
マニュアル
ウェブショップ
戻る
続く..