プロログ【PROLOG】
Prolog
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/01/05 08:36 UTC 版)
注釈
- ^ 英: resolution、融合
- ^ 英: David H.D.Warren
- ^ W. F. Clocksin
- ^ 英: C. S. Mellish
- ^ 英: extended self-contained Prolog
- ^ 英: Bruce A. Tate
- ^ 英: Daniel Jackson
- ^ 英: Ivan Bratko
出典
- ^ Alain Colmerauer, Philippe Roussel. The birth of Prolog, p.2.
- ^ a b Robert Kowalski. The Early Years of Logic Programming, p.38.
- ^ Buss, Samuel R., "On Herbrand's Theorem".
- ^ Alain Colmerauer and Philippe Roussel, The birth of Prolog, p.6.
- ^ Alain Colmerauer and Philippe Roussel, The birth of Prolog, pp.14-15.
- ^ a b 古川 康一, p.5.
- ^ 萩野達也,桜川貴司,柴山悦哉
- ^ https://www.complang.tuwien.ac.at/ulrich/iso-prolog/SWI7_and_ISO
- ^ “K-Prolog について”. 2020年1月10日時点のオリジナルよりアーカイブ。2021年9月11日閲覧。
- ^ https://www.researchgate.net/publication/277325585_Aspects_of_Prolog_history_Logic_Programming_and_Professional_Dynamics
「PROLOG」の例文・使い方・用例・文例
- PROLOGという,プログラミング言語
Weblioカテゴリー/辞書と一致するものが見つかりました。
- Prolog用語辞典 - K-Prolog
固有名詞の分類
- Prologのページへのリンク