Programimi logjik

Programimi logjik paraqet, në kuptimin më të gjerë, përdorimin e logjikës matematike për të krijuar programe kompjuterike.

Prolog

Artikulli kryesor: Prolog

Gjuha programuese Prolog u krijua në vitin 1972 nga Alain Colmerauer.

Referimet

Burime tjera

• 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, Linear Resolution with Selection Function Artificial Intelligence, Vol. 2, 1971, pp. 227–60.
• Robert Kowalski Predicate Logic as a Programming Language 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.

Lidhje të jashtme

• Logic Programming Virtual Library entry
• Bibliographies on Logic Programming Arkivuar 4 dhjetor 2008 tek Wayback Machine
• Association for Logic Programming (ALP) Arkivuar 10 tetor 2007 tek Wayback Machine
• Theory and Practice of Logic Programming Arkivuar 11 janar 2010 tek Wayback Machine journal
• Logic programming in C++ with Castor
• Logic programming in Oz
• Prolog Development Center