Prolog
Übersicht
zuletzt besuchte Definitionen...
Ausführliche Definition im Online-Lexikon
Programming in Logic; deklarative Programmiersprache.
Zweck: Mit Prolog sollte nicht algorithmische (Algorithmus), logische Programmentwicklung ermöglicht werden.
Sprachkonzept: „Theorembeweiser”, der auf einer Datenbasis arbeitet; diese besteht aus einer Menge im Programm festgelegter Fakten und aus Regeln, wie aus gegebenen Fakten Schlüsse gezogen werden können. Der Lösungsweg, den der Regelinterpreter bei der Programmausführung einschlägt, muss vom Programmierer nicht explizit angegeben werden; er wird automatisch (durch Backtracking) ermittelt.
Einsatz in der Künstlichen Intelligenz (KI).
Zur Zeit keine Literaturhinweise/ Weblinks der Autoren verfügbar.