Logische Programmierung: Prolog

Dem logischen Programmieren liegt der Gedanke zugrunde, das fur ein Problem bedeutsame Wissen als Folge von Aussagen und von Regeln (sog. Klauseln) zu formulieren und anschliesend eine Frage zu stellen, die vom Computersystem als ein zu beweisendes Theorem behandelt wird. Prolog als Hauptvertreter fur dieses Konzept wird daher als eine deklarative Sprache bezeichnet. Man programmiert keinen Algorithmus; diese neue Form des Programmierens weist zunachst gar keine imperativen (prozeduralen) Elemente auf. Die Strategie zum Theorembeweis ist in Prolog fest vorgegeben.