Logičko programiranje
Ovaj članak ili neki od njegovih odlomaka nije dovoljno potkrijepljen izvorima (literatura, veb-sajtovi ili drugi izvori). |
Logičko programiranje je programski stil pisanja, baziran na matematičkoj logici.
Također pogledajte
urediLiteratura
uredi- 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
uredi- 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.