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 
Association for Logic Programming (ALP) 
Teorija i praksa logičkog programiranja  journal
Logičko programiranje u C++ sa Castor-om
Logičko programiranje u  Oz
Prolog Razvojni Centar 
Racklog: Logičko programiranje u Racket

Kategorija:Programiranje
Kategorija:Softver