Ebook: Kurs in Logischer Programmierung

Das Buch ist eine Einführung in die logische Programmierung in der Form eines Kurses, in dem die Grundlagen der logischen Programmierung, die logische Programmiersprache Prolog und ihre Programmierpraxis, sowie einige Anwendungen vorgestellt werden. Nach einer kurzen Begriffsbestimmung der logischen Programmierung wird das sogenannte reine Prolog als Programmiersprache anhand von Beispielen eingeführt. Die logischen Hintergründe werden dabei nur angedeutet. Anschließend werden die Erweiterungen vorgestellt, die Prolog zur vollen Programmiersprache machen. Es folgen etablierte Programmiertechniken, die Prolog wie jede andere Programmiersprache besitzt. Mit diesen Vorkenntnissen ist es nun leichter, die theoretischen Grundlagen der logischen Programmierung zu verstehen. Es wird gezeigt, wie Logik zur Wissensdarstellung und zur Ableitung von weiterem Wissen verwendet werden kann. Ferner wird der Weg von der Prädikatenlogik zur logischen Programmiersprache Prolog nachvollzogen. Den Schluß bilden Anwendungen aus den Gebieten wissensbasierte Systeme und Computerlinguistik.

---

Das Buch ist eine Einf?hrung in die logische Programmierung in der Form eines Kurses, in dem die Grundlagen der logischen Programmierung, die logische Programmiersprache Prolog und ihre Programmierpraxis, sowie einige Anwendungen vorgestellt werden. Nach einer kurzen Begriffsbestimmung der logischen Programmierung wird das sogenannte reine Prolog als Programmiersprache anhand von Beispielen eingef?hrt. Die logischen Hintergr?nde werden dabei nur angedeutet. Anschlie?end werden die Erweiterungen vorgestellt, die Prolog zur vollen Programmiersprache machen. Es folgen etablierte Programmiertechniken, die Prolog wie jede andere Programmiersprache besitzt. Mit diesen Vorkenntnissen ist es nun leichter, die theoretischen Grundlagen der logischen Programmierung zu verstehen. Es wird gezeigt, wie Logik zur Wissensdarstellung und zur Ableitung von weiterem Wissen verwendet werden kann. Ferner wird der Weg von der Pr?dikatenlogik zur logischen Programmiersprache Prolog nachvollzogen. Den Schlu? bilden Anwendungen aus den Gebieten wissensbasierte Systeme und Computerlinguistik.

---

Das Buch ist eine Einf?hrung in die logische Programmierung in der Form eines Kurses, in dem die Grundlagen der logischen Programmierung, die logische Programmiersprache Prolog und ihre Programmierpraxis, sowie einige Anwendungen vorgestellt werden. Nach einer kurzen Begriffsbestimmung der logischen Programmierung wird das sogenannte reine Prolog als Programmiersprache anhand von Beispielen eingef?hrt. Die logischen Hintergr?nde werden dabei nur angedeutet. Anschlie?end werden die Erweiterungen vorgestellt, die Prolog zur vollen Programmiersprache machen. Es folgen etablierte Programmiertechniken, die Prolog wie jede andere Programmiersprache besitzt. Mit diesen Vorkenntnissen ist es nun leichter, die theoretischen Grundlagen der logischen Programmierung zu verstehen. Es wird gezeigt, wie Logik zur Wissensdarstellung und zur Ableitung von weiterem Wissen verwendet werden kann. Ferner wird der Weg von der Pr?dikatenlogik zur logischen Programmiersprache Prolog nachvollzogen. Den Schlu? bilden Anwendungen aus den Gebieten wissensbasierte Systeme und Computerlinguistik.
Content:
Front Matter....Pages I-XI
Was ist Logische Programmierung?....Pages 1-5
Reines Prolog....Pages 6-27
Volles Prolog....Pages 28-67
Prolog-Programmiertechniken....Pages 68-87
Logik zur Wissensrepr?sentation....Pages 88-112
Logische Inferenz....Pages 113-149
Suchverfahren....Pages 150-166
Logische Grammatiken....Pages 167-183
Metainterpreter....Pages 184-214
Back Matter....Pages 215-224

---

Das Buch ist eine Einf?hrung in die logische Programmierung in der Form eines Kurses, in dem die Grundlagen der logischen Programmierung, die logische Programmiersprache Prolog und ihre Programmierpraxis, sowie einige Anwendungen vorgestellt werden. Nach einer kurzen Begriffsbestimmung der logischen Programmierung wird das sogenannte reine Prolog als Programmiersprache anhand von Beispielen eingef?hrt. Die logischen Hintergr?nde werden dabei nur angedeutet. Anschlie?end werden die Erweiterungen vorgestellt, die Prolog zur vollen Programmiersprache machen. Es folgen etablierte Programmiertechniken, die Prolog wie jede andere Programmiersprache besitzt. Mit diesen Vorkenntnissen ist es nun leichter, die theoretischen Grundlagen der logischen Programmierung zu verstehen. Es wird gezeigt, wie Logik zur Wissensdarstellung und zur Ableitung von weiterem Wissen verwendet werden kann. Ferner wird der Weg von der Pr?dikatenlogik zur logischen Programmiersprache Prolog nachvollzogen. Den Schlu? bilden Anwendungen aus den Gebieten wissensbasierte Systeme und Computerlinguistik.
Content:
Front Matter....Pages I-XI
Was ist Logische Programmierung?....Pages 1-5
Reines Prolog....Pages 6-27
Volles Prolog....Pages 28-67
Prolog-Programmiertechniken....Pages 68-87
Logik zur Wissensrepr?sentation....Pages 88-112
Logische Inferenz....Pages 113-149
Suchverfahren....Pages 150-166
Logische Grammatiken....Pages 167-183
Metainterpreter....Pages 184-214
Back Matter....Pages 215-224
....