*ご注文される場合はログインしてください。

*ご注文される場合はログインしてください。

academic-soft

世界中から研究・海外ソフトウェアを調達します!

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

メーカー: RISE Research Institutes of Sweden 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 7、8, 8.1, 10, 11 (Intel/x86 32 bitと64bit)
- macOS Intel/x86, 64b以降(Apple Silicon modelsを含む)
- Linux glibc 2.17以降 (CentOS/RHEL7) Intel/x86, 64bit

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

インストール条件

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

保守・テクニカルサポート

・本製品は特別見積り製品です。テクニカルサポートはメーカーへ直接お問い合わせください。
-新規ライセンスには、メーカーによる1年間の無償アップデートの提供およびテクサポート(英語)が付属。
-1年後は任意で保守購入可能。新規ライセンス購入時に複数年分(最大5年間分)のサポートの購入可。

購入条件

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

納期

-ご注文完了を弊社にて確認後、約3-5営業日の予定。
注)メーカー事情により確約はできませんのでご了承ください。
特別注文商品です。価格はお問い合わせください。
注)メーカーにより予告なく価格・仕様の改訂が実施される場合があります。
その場合、再見積りとなります事をご了承ください。
ページTOPへ