Skip to the main content

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


Full text: croatian pdf 877 Kb

page 1-17

downloads: 1.795

cite


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

https://hrcak.srce.hr/133048

Publication date:

31.12.2014.

Visits: 2.856 *