During the recent 5 years the interest in logic programming and the programming language Prolog has grown substantially and the field has expanded to such extent that it is now difficult to keep up-to-date with all new advances. The main objective for writing yet another text-book on these topics is to provide an intuitive account of "both" foundations of logic programming and simple programming techniques in the programming language Prolog. It is not primarily intended to be a theoretical handbook on logic programming. Nor is it intended to be a book on advanced prolog programming. The authors have tried to compensate for this risk by limiting their attention to the most important areas of logic programming and by providing the interested reader with pointers containing suggestions for further reading. As a consequence of this the theoretical presentation is limited to well-established results and some of the most elaborate theorems are stated only with hints or pointers to their proofs and most of the program examples are small programs whose prime aim is to illustrate the principal use of logic programming and to inspire the reader to apply similar techniques when writing "real" logic programs.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
During the recent 5 years the interest in logic programming and the programming language Prolog has grown substantially and the field has expanded to such extent that it is now difficult to keep up-to-date with all new advances. The main objective for writing yet another text-book on these topics is to provide an intuitive account of "both" foundations of logic programming and simple programming techniques in the programming language Prolog. It is not primarily intended to be a theoretical handbook on logic programming. Nor is it intended to be a book on advanced prolog programming. The authors have tried to compensate for this risk by limiting their attention to the most important areas of logic programming and by providing the interested reader with pointers containing suggestions for further reading. As a consequence of this the theoretical presentation is limited to well-established results and some of the most elaborate theorems are stated only with hints or pointers to their proofs and most of the program examples are small programs whose prime aim is to illustrate the principal use of logic programming and to inspire the reader to apply similar techniques when writing "real" logic programs.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 11,00 für den Versand von Spanien nach Deutschland
Versandziele, Kosten & DauerAnbieter: Libros Ambigú, Madrid, M, Spanien
Zustand: Normal. Wiley. London, 1990 24,5 x 16,5 cm., 289 pag. Tapa blanda; buen estado de conservacion. LOGICA . Ejemplares disponibles: 1 Normal. Bestandsnummer des Verkäufers 800094235
Anzahl: 1 verfügbar
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9780471926252. Bestandsnummer des Verkäufers 9492837
Anzahl: 1 verfügbar
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In fair condition, suitable as a study copy. No dust jacket. Re-bound by library. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9780471926252. Bestandsnummer des Verkäufers 8861123
Anzahl: 1 verfügbar
Anbieter: dsmbooks, Liverpool, Vereinigtes Königreich
paperback. Zustand: Acceptable. Acceptable. book. Bestandsnummer des Verkäufers D8S0-3-M-0471926256-4
Anzahl: 1 verfügbar