برمجة منطقية

البرمجة المنطقية Logic programming هي بمفهومها العام استعمال المنطق الرياضي من اجل برمجة الحاسب . يستعمل المنطق لغة تصريحية للتعبير عن المشكلة . خلاف الكثير من لغات البرمجة التقليدية فإن المبرمج في البرمجة المنطقية لا يقوم بحل المشكلة بشكل تام وانم يقع على عاتقه مسؤولية جزئية في حل المشكلة وهي بتمثل القضايا والمعارف بصيفة منطقية logical form . ويقع الجزء الآخر لحل المشكلة على ما يدعى مبرهن القضايا theorem-prover اومولد النماذج model-generator الذي يقوم بحل المشكلة بشكل فعال

فهم المنطق

بكل الاحوال تستخدم اللغات المنطقية تكتيك السلسلة الخلفية لعملية الاستنتاج backward reasoning يتم التعامل مع البرنامج على انه تساؤل يجب الاجابة عليه والبحث عن اجابته .

تعتمد اللغات المنطقية على قوانين هورن الممثلة بالشكل التالي :

H :- B1, …, Bn.

بحيث H هوالدالة الهدف وB1...n هي قضايا يجب البحث عن حلها لحل القضية الرئيسية

ويمكن تأويلها بشكل إجرائي على الشكل :

كي تحل\تظهر H اظهر\حل B1 وقم بحل\اظهار B2 ...... الى Bn

وبلغة المنطق الرياضي يمكن القول الجملة السابقة تكافىء :

B1 and … and Bn → H

مبرمجي اللغات المنطقية المحترفين يستخدمون تفسيرات اجرائية ليخطوبرامجهم وتفسيرات تصريحية للتأكد من خلوالهدف من اخطاء والوصول للهدف .

انظر أيضاً

Constraint logic programming
Datalog
Functional programming
Inductive logic programming
منطق ضبابي
Logic in computer science (includes Formal methods)
Logic programming languages
Programming paradigm
R++

الهامش

General introductions

Chitta Baral and Michael Gelfond. Journal of Logic Programming. 1994, Vol. 19, 73-148.
Robert Kowalski. CACM. January 1988.
J. W. Lloyd. Foundations of Logic Programming (2nd edition). Springer-Verlag 1987.

Other sources

Fisher Black. A deductive question answering system Harvard University. Thesis. 1964.
J.M. Foster and E.W. Elcock. ABSYS 1: An Incremental Compiler for Assertions: an Introduction, , Machine Intelligence 4, Edinburgh U Press, 1969, pp. 423–429
Cordell Green. Application of Theorem Proving to Problem Solving IJCAI 1969.
Pat Hayes. Computation and Deduction. In Proceedings of the 2nd MFCS Symposium. Czechoslovak Academy of Sciences, 1973, pp. 105–118.
Carl Hewitt. Planner: A Language for Proving Theorems in Robots IJCAI 1969.
Joshua Hodas and Dale Miller. Logic Programming in a Fragment of Intuitionistic Linear Logic, Information and Computation, 1994, 110(2), 327-365.
Naoki Kobayashi and Akinori Yonezawa. Asynchronous communication model based on linear logic, Formal Aspects of Computing, 1994, 279-294.
Robert Kowalski and Donald and Kuehner, Artificial Intelligence, Vol. 2, 1971, pp. 227–60.
Robert Kowalski Memo 70, Department of Artificial Intelligence, Edinburgh University. 1973. Also in Proceedings IFIP Congress, Stockholm, North Holland Publishing Co., 1974, pp. 569–574.
John McCarthy. Programs with common sense Symposium on Mechanization of Thought Processes. National Physical Laboratory. Teddington, England. 1958.
D. Miller, G. Nadathur, F. Pfenning, A. Scedrov. Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic, vol. 51, pp 125–157, 1991.
Ehud Shapiro (Editor). Concurrent Prolog MIT Press. 1987.
Ehud Shapiro. The family of concurrent logic programming languages ACM Computing Surveys. September 1989.
James Slagle. Experiments with a Deductive Question-Answering Program CACM. December, 1965.
Shunichi Uchida and Kazuhiro Fuchi Proceedings of the FGCS Project Evaluation Workshop Institute for New Generation Computer Technology (ICOT). 1992.

للاستزادة

Carl Hewitt. Procedural Embedding of Knowledge In Planner IJCAI 1971.
Carl Hewitt. The repeated demise of logic programming and why it will be reincarnated What Went Wrong and Why: Lessons from AI Research and Applications. Technical Report SS-06-08. AAAI Press. March 2006.
Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3): 374-425 (2001)
Ulf Nilsson and Jan Maluszynski, Logic, Programming and Prolog