ホームプログラミング/開発環境 > SICStus Prolog/シクスタス・プロログ

SICStus Prolog/シクスタス・プロログ


  • メーカー: SICStus (Swedish Institute of Computer Science AB)
Prolog(非手続き型プログラミング言語)開発システム

【本製品は特別見積製品です】
見積対象オプションについて見積期限内のみ価格表示されます。
ご希望のオプションが価格表示されていない場合はこちらからお問い合わせください。

●3.9バージョンのリリース以降、1万以上のダウンロード数を誇る、国際規格ISO/IEC 13211-1に準拠した最新のProlog(非手続き型プログラミング言語)開発システム

●推論、検証、パターンマッチングを必要とするアプリケーションでの使用に最適

●スタンドアローンアプリケーションとしてのツール提供

●他言語で作成されたコードへリンクでき、Prologが組込まれた確実なソリューションを作成できるモジュールを提供

●高度なPrologエンジンにより、バーチャルメモリースペースを最大限に使用可能

●効果的機能で大容量のデータやアプリケーションの堅牢を実現

●SPARC Processorのためのネイティブコードの生成も可能なProlog高性能エンジンを搭載

●Pentium4 1.7GHzで@28.5@MLIPS以上のパフォーマンスを実現

●GNU Emacs/XEmacs上で、完全なPrologの構文サポート機能付き

●モジュールとライブラリー機能により、C/C++やJAVAへのダイレクション、Visual Basicインターフェース等が可能

●ソースリンク修正機能付き

●ブレークポイント設定機能付き

●オンラインヘルプ機能付き


【付属のマニュアルに関しまして】
- 付属のマニュアルは、メーカー正規品の英語マニュアルです。
- マニュアル(英語)こちらのメーカーサイト(英語)からダウンロードが可能です。


【システム要件】
- Windows XP、Vista、7、8, 8.1, 10 (Intel/x86 32 bit)
- Mac OS X 10.5〜10.11 (Intel/x86 32 bit)
- Linux glibc 2.12以降 (Intel/x86 32と64bit、PowerPC 32と64 bit)
- Solaris 8、10 (Intel/x86 32と64bit、SPARC 32と64 bit)

注)プラットフォームの詳細はメーカーウェブサイトをご参照ください。


【インストール条件】
- アカデミック版は、学校所有のPCにはインストール台数制限なし

【サポート】
-新規ライセンスには、メーカーによる1年間の無償アップデートの提供およびテクサポート(英語)が付属。
-1年後は任意で保守購入可能。新規ライセンス購入時に複数年分(最大5年間分)のサポートの購入可。

【購入条件】
- ご注文時に、オペレーティングシステムのバージョン名、ビット数まで詳細な提示が必要
(例: Linux glibc2.7 x86, 32 bit)
- アカデミック版のPersonal Licenseは、メーカーの方針によりユーザ直販のみ
- アカデミック版のご購入の際には、教育機関発行のE-mailアドレスの提示が必須.

- ユーザ数無制限で大変お得なアカデミックサイトライセンスあり
詳細は弊社までお問い合わせください。

ご注文の際には、オペレーティングシステムのバージョン名、ビット数まで詳細をお知らせください。 (例: Linux glibc2.7 x86, 32 bit)

 
特別注文商品です。 価格はお問い合わせください。


注)メーカーにより予告なく価格・仕様の改訂が実施される場合があります。
その場合、再見積りとなります事をご了承ください。