Logičko programiranje

Sa Wikipedije, slobodne enciklopedije
Idi na: navigacija, traži
Question book-new.svg Ovaj članak ili neka od njegovih sekcija nije dovoljno potkrijepljena izvorima (literatura, web stranice ili drugi izvori).
Sporne rečenice i navodi bi mogli, ukoliko se pravilno ne označe validnim izvorima, biti obrisani i uklonjeni. 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]

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, pp. 1053 – 1064., 1992.
  • PDC Prolog version 3.20: User's Guide, Prolog Development Center, Copenhagen, 1990.
  • Hazlewood, C.: http://www.math.swt.edu/~carol/teaching/courses/5318/lectures/comp-para.pdf

Vanjski linkovi[uredi | uredi izvor]


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