PROLOG (Informatik)
PROLOG [Akronym aus englisch programming in logic, »logische Programmierung«], Informatik:
eine prädikative oder logische Programmiersprache. Grundelemente sind Fakten (Prädikate), also wahre Aussagen, und Regeln. Eine Menge von Fakten stellt das Grundwissen eines PROLOG-Programms dar; aus Fakten können Regeln gebildet werden. Zweck eines PROLOG-Programms beziehungsweise -Systems ist es, auf der Grundlage des vorhandenen Grundwissens und der Regeln eine vom Benutzer aufgestellte
Informationen zum Artikel
Quellenangabe