Loading article…
| 開発者 | スウェーデンコンピュータサイエンス研究所 |
|---|---|
| 初回リリース | 1984 |
| 最終リリース | 3.5 / 2003年12月29日 |
| タイプ | プロローグ実装 |
| ライセンス | 独自 |
| Webサイト | quintus.sics.se |
Quintus Prolog は、Warren Abstract Machineに基づくPrologプログラミング言語の独自の実装です。もともと Quintus Computer Science によって開発され、現在はSICSによって保守されています。長い間、最も高性能な Prolog の実装として知られ、1990 年代初頭には Prolog 実装の事実上の標準を定義しました。
歴史
Quintus Prologは、1984年にQuintus Computer Scienceによって、当時提案されていたWarren Abstract Machineの実装として初めて導入されました。Quintus Computer Scienceは、 David HD Warren、William Kornfeld、Lawrence Byrd、Fernando Pereira、Cuthbert Hurdによってこの目的のために設立されました。[1] Quintusは1989年にIntergraph Corporationに売却され、 [2] [3]最終的に1998年にSICSに買収されました。[1]いくつかの機能がProlog実装SICStusに統合された後、最終バージョンは2003年にQuintus 3.5としてリリースされました。2023年11月現在[update]、QuintusはSICSによってまだメンテナンスされています。[1] [4]
特徴
Quintus Prologで使用される構文は、DEC-10 Prologの構文に基づいています。[1]これは、Prologの最も高性能な実装として長い間知られており、命令のマージやウォーレン抽象マシンの特殊化などの最適化を実装した最初のものでした。[1] [5]
遺産
Quintus Prologは事実上の標準となり、1995/6年に開発されたPrologのISO標準に大きな影響を与えました。 [1]さらに、ISO標準で想定されているモジュールシステムはQuintusのものと異なりますが、Quintusのモジュールシステムは、実際にはISOで義務付けられているものよりも現代のProlog実装で広く採用されています。[1] SICStus、SWI-Prolog、YAP、Ciaoなど、商用および研究ベースの 他のいくつかの一般的なPrologシステムは、Quintus Prologから直接影響を受けています。[1]
参照
参考文献
- ^ abcdefgh Körner, Philipp; Leuschel, Michael; Barbosa, João; Costa, Vítor Santos; Dahl, Verónica; Hermenegildo, Manuel V.; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni (2022年11月). 「Prologの50年とその先」.論理プログラミングの理論と実践. 22 (6): 776–858. doi : 10.1017/S1471068422000102 . hdl : 10174/33387 . ISSN 1471-0684.
- ^ John AN Lee (1995)。「Cuthbert C. Hurd」。コンピュータの先駆者の国際人物辞典。Taylor & Francis、IEEE Computer Society Press。pp. 388–389。ISBN 978-1-884964-47-3。
- ^ David E. Weisberg (2008)。「Intergraph」(PDF)。エンジニアリング設計革命:エンジニアリングの実践を永遠に変えた人々、企業、コンピュータシステム。 2010年7月7日時点のオリジナル(PDF)からアーカイブ。 2010年5月26日閲覧。
- ^ 「Quintus Prologホームページ」quintus.sics.se . 2023年11月12日閲覧。
- ^ Nässén, Henrik; Carlsson, Mats; Sagonas, Konstantinos (2001-09-05). 「SICStus Prolog 仮想マシンにおける命令のマージと特殊化」。宣言型プログラミングの原理と実践に関する第 3 回 ACM SIGPLAN 国際会議の議事録。米国ニューヨーク: ACM。pp. 49–60。doi : 10.1145 / 773184.773191。ISBN 1-58113-388-X。
- この記事には、PHILIPP KÖRNER、MICHAEL LEUSCHEL、JOÃO BARBOSA、VÍTOR SANTOS COSTA、VERÓNICA DAHL、MANUEL V. HERMENEGILDO、JOSE F. MORALES、JAN WIELEMAKER、DANIEL DIAZ、SALVADOR ABREU、GIOVANNI CIATTO による CC BY 4.0 ライセンスのもとで利用可能なテキストが組み込まれています。