Add to ORKGLogič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
Dr. sc. Jasna Krstović problematizira integrativnost različitih metodičkih kolegija u okviru novog p...
Dobar muzejski pedagog ili pedagoginja mora imati razvijene komunikacijske kompetencije jer uglavnom...
U radu je pokazana jedna od koncepcija rekonfigurabilne stone petoosne mašine koja se upravlja koris...
Modalna logika obuhvaća široku familiju formalnih jezika i sistema s brojnim primjenama u računarstv...
Funkcijsko programiranje stil je programiranja koji se zasniva na izračunavanju funkcija. U ovome čl...
U ovom članku predstavljamo Java applet za interaktivni prikaz trodimenzionalnih objekata izrađenih ...
Temu ovoga rada čini razmatranje nekih aspekata modeliranja ljuski ekspertnih sistema. To se prvenst...
Modalna logika prvenstveno je formalizacija relacijskih struktura, što se može reći i za logiku prvo...
U ovom radu dat je kraći prikaz sistema TEX namijenjenoq slaganju zahtjevnih tekstova, posebno znans...
Rad se bavi pitanjem normativnog i deskriptivnog statusa logike u odnosu na mišljenje ili zaključiva...
U ovom radu prikazan je programski paket ArheoPackPro!, sistem koji je nastao tokom arheoloških isko...
Razvoj i uvođenje novih radnih okolina donosi promjene u dizajnu i programiranju. Te promjene uglavn...
Računalni program pod naslovom Program Prehrane 5.0 originalna je inovacija Igora Gašparovića i Vesn...
Mjerni sustav sastoji se od mjerne strojne opreme s ugrađenom mjernom jedinicom s pripadajućim senzo...
Suština izuma je adaptivna podloga za bolesnike koja programirano automatski segmentirano smanjuje r...
Dr. sc. Jasna Krstović problematizira integrativnost različitih metodičkih kolegija u okviru novog p...
Dobar muzejski pedagog ili pedagoginja mora imati razvijene komunikacijske kompetencije jer uglavnom...
U radu je pokazana jedna od koncepcija rekonfigurabilne stone petoosne mašine koja se upravlja koris...
Modalna logika obuhvaća široku familiju formalnih jezika i sistema s brojnim primjenama u računarstv...
Funkcijsko programiranje stil je programiranja koji se zasniva na izračunavanju funkcija. U ovome čl...
U ovom članku predstavljamo Java applet za interaktivni prikaz trodimenzionalnih objekata izrađenih ...
Temu ovoga rada čini razmatranje nekih aspekata modeliranja ljuski ekspertnih sistema. To se prvenst...
Modalna logika prvenstveno je formalizacija relacijskih struktura, što se može reći i za logiku prvo...
U ovom radu dat je kraći prikaz sistema TEX namijenjenoq slaganju zahtjevnih tekstova, posebno znans...
Rad se bavi pitanjem normativnog i deskriptivnog statusa logike u odnosu na mišljenje ili zaključiva...
U ovom radu prikazan je programski paket ArheoPackPro!, sistem koji je nastao tokom arheoloških isko...
Razvoj i uvođenje novih radnih okolina donosi promjene u dizajnu i programiranju. Te promjene uglavn...
Računalni program pod naslovom Program Prehrane 5.0 originalna je inovacija Igora Gašparovića i Vesn...
Mjerni sustav sastoji se od mjerne strojne opreme s ugrađenom mjernom jedinicom s pripadajućim senzo...
Suština izuma je adaptivna podloga za bolesnike koja programirano automatski segmentirano smanjuje r...
Dr. sc. Jasna Krstović problematizira integrativnost različitih metodičkih kolegija u okviru novog p...
Dobar muzejski pedagog ili pedagoginja mora imati razvijene komunikacijske kompetencije jer uglavnom...
U radu je pokazana jedna od koncepcija rekonfigurabilne stone petoosne mašine koja se upravlja koris...