Delamo na obnovitvi aplikacije Unionpedia v trgovini Google Play
OdhodniDohodne
🌟Poenostavili smo našo zasnovo za boljšo navigacijo!
Instagram Facebook X LinkedIn

Prolog (programski jezik)

Index Prolog (programski jezik)

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

Kazalo

  1. 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.

Poglej Prolog (programski jezik) in Ivan Bratko (računalnikar)

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.

Poglej Prolog (programski jezik) in Izrek

Kratica

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

Poglej Prolog (programski jezik) in Kratica

Programski jezik

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

Poglej Prolog (programski jezik) in Programski jezik

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.

Poglej Prolog (programski jezik) in Umetna inteligenca