Logičko programiranje

Ovaj članak ili neki od njegovih odlomaka nije dovoljno potkrijepljen izvorima (literatura, veb-sajtovi ili drugi izvori). Ako se pravilno ne potkrijepe pouzdanim izvorima, sporne rečenice i navodi mogli bi biti izbrisani. Pomozite Wikipediji tako što ćete navesti validne izvore putem referenci te nakon toga možete ukloniti ovaj šablon.

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

• Funkcionalno programiranje
• Programska paradigma

• 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

• 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.