Stručni rad
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
Sažetak
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.
Ključne riječi
Hrčak ID:
133048
URI
Datum izdavanja:
31.12.2014.
Posjeta: 2.811 *