SWI Prolog (64-bit) 仕様
|
ロジックプログラムやアプリケーションを開発し、実装.
FromSWI-Prologは:SWI-Prologは堅牢でメモリリークの無料高速コンパイル、制限のない整数とGMPライブラリに基づいて、有理数演算、およびCおよびC ++への柔軟かつ高速なインタフェースを備えて総合的なフリーソフトウェアPrologの環境を提供しています - 言語。これは、Javaのインターフェイスライブラリ(JPL)、ODBC、TCP / IPソケット、SSL、およびCGIフォームの取り扱いにバンドルされ、それがISO規格の第1部をカバーし、組み込み述語の包括的なセットを持って、事実上のエジンバラPrologの標準そして、クィントゥスとSICStusプロローグの重要な部分.
ダウンロード (10.53MB)