Logičko programiranje

S Wikipedije, slobodne enciklopedije

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

Također pogledajte[uredi | uredi izvor]

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]


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