Additional
Information: 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). Frage
Prolog Sites:
Dietmars Prolog-Seiten Dietmars Prolog-Seiten: Bietet neben weiteren Links eine Prolog-Library sowie Programmierbeispiele. (Prolog) http://www.dietmar-schmitt.de/prolog/index.html
Programmiertechniken der Computerlinguistik I Programmiertechniken der Computerlinguistik I: Informationen, Script und Übungen zur Vorlesung. (Prolog) http://www.ifi.unizh.ch/cl/siclemat/lehre/ws0102/pcl1/
Programmiertechniken der Computerlinguistik II Programmiertechniken der Computerlinguistik II: Seiten zum zweiten Teil der Vorlesung. (Prolog) http://www.ifi.unizh.ch/cl/siclemat/lehre/ss01/pcl2/
Entstehung von Prolog Entstehung von Prolog: Übersicht von der Geschichte hin über die Charakteristik bis zum Aufbau und der Anwendung von Prolog. (Prolog) http://www.dietmar-schmitt.de/essays/SGI/Prolog/inhalt.html
Zur Entstehung der Programmiersprache Prolog Zur Entstehung der Programmiersprache Prolog: Eine Abhandlung in 10 Kapiteln über die Geschichte, die Eigenschaften und die Bedeutung von Prolog. (Prolog) http://www.dietmar-schmitt.de/essays/SGI/Prolog/index.html
Programmieren in Prolog Programmieren in Prolog: Prolog-Einführung im Rahmen eines Projekts zur natürlichsprachlichen Datenbankanfrage. (Prolog) http://nats-www.informatik.uni-hamburg.de/~jum/lehre/95WS96/home.html
Prolog - Programmieren mit Logik Prolog - Programmieren mit Logik: Ausarbeitung und Folien über die theoretischen Hintergründe der Logikprogrammierung am Beispiel Prolog. Als PS, PDF und DVI verfügbar. (Prolog) http://www.stud.tu-muenchen.de/~sven.hennauer/studium/prolog.html
Christoph Lehner Christoph Lehner: Materialien zu einem Prolog-Kurs. Neben Folien und Übungsaufgaben steht auch ein Prolog-Buch im PDF-Format zum Download bereit. (Prolog) http://www.uni-hildesheim.de/~chlehn/frames_prolog.html
Einführung in Prolog Einführung in Prolog: Einführung in Prolog in Form einer Powerpoint Präsentation. Es wird sowohl eine HTML-Version, als auch die PPT-Datei angeboten. (Prolog) http://www.s-direktnet.de/homepages/neumann/Prolog/index.htm
Additional
Information: 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). Frage
-
