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č »