Directory of Prolog Resources

Home > World > Deutsch > Computer > Programmieren > Sprachen > Prolog

Prolog liegt die Prädikatenlogik 1.Stufe zugrunde. Die Resolution wird als Beweisverfahren bei der Lösungsbestätigung angewendet, d. h. das Prolog-System geht wie ein Theorembeweiser vor. Die Wissensbasis entspricht dem Programm (Fakten, Regeln). Fragen wirken wie Eingabewerte, mit denen das Programm gestartet wird. Die Antworten stellen die Ausgabewerte dar. Der Nutzer schreibt auf, was er über das Problem weiß und nicht, wie man die Lösung erhält. Das Prolog-System besitzt einen vorgefertigten Verarbeitungsmechanismus, der die Fakten und Regeln auswertet und zur Lösung verknüpft.

Resources in This Category

• Datenbanken in Prolog

  http://www.philipphauer.de/info/info/datenbanken-in-prolog/
  Philipp Hauer behandelt in seiner Ausarbeitung Datenbanken und die Umsetzung von SQL-Abfragen in Prolog ausführlich und an Beispieldatenbanken.

• Fakultät in Prolog

  http://www.philipphauer.de/info/info/fakultaet-prolog-suchbaum/
  Das Programm wird ausführlich erklärt, illustriert mit der Lösungssuche als Suchbaum, auch als Powerpoint-Präsentation verfügbar.

• Prolog Beispiele

  http://www.nosco.ch/ai/exercise_00.php
  Viele Beispiele mit Lösungen. Betonung der Anwendung von Prolog in der Künstlichen Intelligenz. Ein Vorlesungsskript ist auch vorhanden.

• Prolog Wikibook

  http://de.wikibooks.org/wiki/Prolog
  Das Buch dient dazu, die Syntax der Programmiersprache kennenzulernen und in komplexen Anwendungen einzusetzen. Neueinsteiger können die ersten Kapitel lesen und den Rest als Nachschlagewerk nutzen.

Other Languages

• Russisch
• Tschechisch
• Japanisch
• Französisch
• Englisch

 

Home > World > Deutsch > Computer > Programmieren > Sprachen > Prolog

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us