制約論理プログラミング
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/06/28 05:10 UTC 版)
制約論理プログラミング(せいやくろんりプログラミング、英: constraint logic programming)は制約プログラミングの一種で、制約という問題表現・解決の考え方を導入することによって論理プログラミングを拡張したプログラミングパラダイムである。論理プログラミングの持っている宣言的な表現力に制約の考え方を導入し、より一般化したものとも言うことができる。
- ^ I. Sutherland., A Man-Machine Graphical Communication System. PhD thesis, MIT, January 1963.
- ^ G. Steele and G. Sussman, CONSTRAINTS - A Language for Expressing Almost Hierarchical Descriptions. Artificial Intelligence 14(1). 1980.
- ^ G. Steele, The Implementation and Definition of a Computer Programming Language Based on Constraints. Ph.D. Dissertation (MIT-AI TR 595) Dept. of Electrical Engineering and Computer Science, MIT. 1980.
- ^ A. Colmerauer. Prolog-II Manuel de Reference et Modele Theorique. Groupe Intelligence Artificelle, U. d'Aix-Marseille II. 1982.
- ^ A. Colmerauer. Prolog in 10 Figures. Proc. 8th International Joint Conference on Artificial Intelligence. 1983.
- ^ a b c d Jaffar, J., and Maher, M.J., Constraint Logic Programming: A Survey. in Journal of Logic Programming, Volume 19/20, pp.503-581, 1994
- ^ A. Colmerauer. Opening the Prolog III Universe. BYTE Magazine. August 1987.
- ^ Saraswat, V. A., and Rinard M. Concurrent Constraint Programming. In Proceedings of Seventeenth ACM Symposium on Principles of Programming Languages, January 1990
- ^ Jaffar J. and Lassez J. L. Constraint logic programming In Proceedings of the 14th ACM Symposium on Principles of Programming Languages, Munich. pp.111-119. ACM, January 1987.
- ^ Frühwirth T., Introducing Simplification Rules. Internal Report ECRC-LP-63, ECRC Munich, Germany, October 1991, Presented at the Workshop Logisches Programmieren, Goosen/Berlin, Germany, October 1991 and the Workshop on Rewriting and Constraints, Dagstuhl, Germany, October 1991.
- ^ Frühwirth T., Theory and Practice of Constraint Handling Rules. Special Issue on Constraint Logic Programming (P. Stuckey and K. Marriott, Eds.), Journal of Logic Programming, Vol 37(1-3), October 1998.
- ^ Jon Sneyers, Tom Schrijvers, Bart Demoen: The computational power and complexity of constraint handling rules. ACM Trans. Program. Lang. Syst. 31(2): 2009.
- 1 制約論理プログラミングとは
- 2 制約論理プログラミングの概要
- 3 セマンティック
- 4 処理系
- 5 関連項目
Weblioに収録されているすべての辞書から制約論理プログラミングを検索する場合は、下記のリンクをクリックしてください。
全ての辞書から制約論理プログラミング を検索
- 制約論理プログラミングのページへのリンク