Logo
Unijapedija
Komunikacija
na voljo v Google Play
Novo! Naložite Unijapedija na vašem Android ™!
Prenesti
Hitreje kot brskalnik!
 

Prolog (programski jezik)

Index Prolog (programski jezik)

Prolog (kratica za Programming in Logic – logično programiranje) je deklarativen logični programski jezik.

5 odnosi: Ivan Bratko (računalnikar), Izrek, Kratica, Programski jezik, Umetna inteligenca.

Ivan Bratko (računalnikar)

Ivan Bratko, slovenski računalnikar in akademik, * 10. junij 1946, Ljubljana.

Novo!!: Prolog (programski jezik) in Ivan Bratko (računalnikar) · Poglej več »

Izrek

Izrèk (ali teorém, grško: theórema - videz, predstava, prizor; izrek) je trditev (predpostavka, postavka, propozicija) oziroma nedokazano načelo, ki je bila ali bo dokazana v poljubnem logičnem sistemu na podlagi nedvoumnih privzetkov.

Novo!!: Prolog (programski jezik) in Izrek · Poglej več »

Kratica

Kratíca je ustaljena okrajšava večbesednih imen, običajno iz začetnih črk.

Novo!!: Prolog (programski jezik) in Kratica · Poglej več »

Programski jezik

izvršena. Prográmski jêzik je stroju berljiv umetni jezik, ki je bil razvit, da izraža izračune oz.

Novo!!: Prolog (programski jezik) in Programski jezik · Poglej več »

Umetna inteligenca

Umetna inteligenca včasih tudi umetni um ali strojna inteligenca, se uporablja v računalništvu za inteligenco strojev kot nasprotje »naravni« inteligenci ljudi in drugih živali.

Novo!!: Prolog (programski jezik) in Umetna inteligenca · Poglej več »

OdhodniDohodne
Zdravo! Smo na Facebooku zdaj! »