Kurs in Logischer Programmierung

Norbert E. Fuchs

ISBN 10: 3211822356 / ISBN 13: 9783211822357

Published by Springer Vienna, Springer Vienna, 1990

About this Item

Druck auf Anfrage Neuware - Printed after ordering - 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.

Seller Inventory # 9783211822357

Bibliographic Details

• Title: Kurs in Logischer Programmierung
• Publisher: Springer Vienna, Springer Vienna
• Publication Date: 1990
• Language: German
• ISBN 10: 3211822356
• ISBN 13: 9783211822357
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 244W x 170H x 14D millimeters 244 millimeters width by 170 millimeters height by 14 millimeters depth
• Weight: 422 grams

About this title

Synopsis

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.