SWI Prolog (32-bit) 仕様
|
ロジックプログラムとアプリケーションの開発と実
From SWI-Prolog:SWI-Prologは、高速コンパイル、堅牢でメモリリークのない包括的なフリーソフトウェアプロローグ環境、GMPライブラリに基づく無制限の整数と有理数算術、C言語およびC ++言語への柔軟で高速なインタフェースを備えた、言語。これは、Java(JPL)、ODBC、TCP / IPソケット、SSL、およびCGIフォーム処理用のインターフェイスライブラリとバンドルされています。ISO標準の第1部、事実上のEdinburgh Prolog標準をカバーする包括的な組込み述語を備えていますQuintusとSICStus Prologの重要な部分
ダウンロード (10.04MB)