عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3709191122
(Number (ISBN
9783709191125
NATIONAL BIBLIOGRAPHY NUMBER
Number
b587725
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Kurs in Logischer Programmierung
General Material Designation
[Book]
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Vienna Springer Vienna
Date of Publication, Distribution, etc.
1990
SERIES
Series Title
Springers Angewandte Informatik
GENERAL NOTES
Text of Note
Lizenzpflichtig
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Computer science
Computer science.
Logische Programmierung
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
