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.
Također pogledajte
[uredi | uredi izvor]- Funkcionalno programiranje
- Programska paradigma
Literatura
[uredi | uredi izvor]- 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 | uredi izvor]- 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.
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
