Math.e, Vol. 26 No. 1, 2014.
Professional paper
Logičko programiranje
Vedran Čačić
; Prirodoslovno matematički fakultet u Zagrebu
Petar Paradžik
; Prirodoslovno matematički fakultet u Zagrebu
Mladen Vuković
; Prirodoslovno matematički fakultet u Zagrebu
Abstract
Logičko programiranje je paradigma nastala početkom sedamdesetih godina proš-log stoljeća kao direktna posljedica rada na automatiziranim dokazivačima teorema. U logičkom programiranju logika se koristi kao deklarativni jezik za opisivanje problema, a dokazivač teorema kao mehanizam za rješavanje problema. U ovom članku pokušat ćemo prvo objasniti teorijsku osnovu logičkog programiranja, a onda ćemo u posljednjem dijelu pokušati povezati teoriju s primjerima programa u programskom jeziku Prolog.
Keywords
Hrčak ID:
133048
URI
Publication date:
31.12.2014.
Visits: 2.811 *