Skip to the main content

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

Full text: croatian pdf 877 Kb

page 1-17

downloads: 1.620

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.418 *