Logičko programiranje

Logičko programiranje je programski stil pisanja, baziran na matematičkoj logici.

Također pogledajte

• Funkcionalno programiranje
• Programska paradigma

Literatura

• Merrit, D. Adventure in Prolog: Logic Programming Tutorial. Amzi! Inc., 1996.
• Sagonas, K. et al. The XSB System Version 3.2. Volume I: Programmer's Manual. 2009.
• Sagonas, K. et al. The XSB System Version 2.7, Volume II: Libraries, Interfaces and Packages. 2004.
• Canfora, G.; Cimitile, A.; de Carlini, U. A Logic-Based Approach to Reverse Engineering Tools Production, IEEE Tranasctions on Software Engineering. Vol. 18, No. 12, str. 1053 – 1064., 1992.
• PDC Prolog version 3.20: User's Guide, Prolog Development Center, Copenhagen, 1990.
• Hazlewood, C.: https://web.archive.org/web/20040714082641/http://www.math.swt.edu/~carol/teaching/courses/5318/lectures/comp-para.pdf

Vanjski linkovi

• https://web.archive.org/web/20100929175735/http://www.pmf.unsa.ba/matematika/Postdiplomski%20studij/Predmeti/Funkcionalno%20i%20logicko%20programiranje.htm
• Logic Programming Virtual Library entry
• Bibliographies on Logic Programming Arhivirano 4. 12. 2008. na Wayback Machine
• Association for Logic Programming (ALP) Arhivirano 10. 10. 2007. na Wayback Machine
• Teorija i praksa logičkog programiranja Arhivirano 11. 1. 2010. na Wayback Machine journal
• Logičko programiranje u C++ sa Castor-om
• Logičko programiranje u Arhivirano 3. 9. 2011. na Wayback Machine Oz
• Prolog Razvojni Centar
• Racklog: Logičko programiranje u Racket

Nedovršeni članak Logičko programiranje koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima Wikipedije.