Verwandte Artikel zu PROLOG: A Logical Approach

Dodd, Tony PROLOG: A Logical Approach ISBN 13: 9780198538226

PROLOG: A Logical Approach - Hardcover

 
9780198538226: PROLOG: A Logical Approach

Inhaltsangabe

Procedural programming languages, such as FORTRAN, Pascal and C, expect the programmer to build a representation of the solution to a problem using a model of the execution process of a computer. The goal of logic programming is to provide a higher level formalism, in which the solution is represented using a formal representation that was in use before computers were invented: logic. The present volume starts with an explanation of how logic may be used as a programming language, and then explains the practical limitations that at present restrict logic programmers to the use of the subset of logic embodied in the prolog programming language. Enhancements to Prolog that compensate for the weakness of its underlying logic, but compromise the purity of the language are then introduced. Most Prolog systems add to the logical core of the language a bewildering variety of extra features for procedural tasks such as input/output. The second part of the book presents some of the most commonly met features, including all facilities that are common to all Prologs. As well as the most commonly used facilities, there is an account of more abstruse topics such as garbage collection. The third part of the volume is concerend with programming style. Its principal aim is to show that despite the illogicalities available in Prolog, the programmer may construct programs that conform to the principles of logic programming by adhering to a number of design criteria. Efficiency of programs is also considered at length. An approach to debugging Polog programs is presented. Finally the process of designing Prolog programs is discussed and there is an extended example showing how an application is developed.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

Procedural programming languages, such as FORTRAN, Pascal and C, expect the programmer to build a representation of the solution to a problem using a model of the execution process of a computer. The goal of logic programming is to provide a higher level formalism, in which the solution is represented using a formal representation that was in use before computers were invented: logic. The present volume starts with an explanation of how logic may be used as a programming language, and then explains the practical limitations that at present restrict logic programmers to the use of the subset of logic embodied in the prolog programming language. Enhancements to Prolog that compensate for the weakness of its underlying logic, but compromise the purity of the language are then introduced. Most Prolog systems add to the logical core of the language a bewildering variety of extra features for procedural tasks such as input/output. The second part of the book presents some of the most commonly met features, including all facilities that are common to all Prologs. As well as the most commonly used facilities, there is an account of more abstruse topics such as garbage collection. The third part of the volume is concerend with programming style. Its principal aim is to show that despite the illogicalities available in Prolog, the programmer may construct programs that conform to the principles of logic programming by adhering to a number of design criteria. Efficiency of programs is also considered at length. An approach to debugging Polog programs is presented. Finally the process of designing Prolog programs is discussed and there is an extended example showing how an application is developed.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagOxford University Press
  • Erscheinungsdatum1990
  • ISBN 10 0198538227
  • ISBN 13 9780198538226
  • EinbandTapa dura
  • SpracheEnglisch
  • Anzahl der Seiten568
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Sehr gut
A tight, bright, and clean copy...
Diesen Artikel anzeigen

EUR 11,81 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9780198538219: PROLOG: A Logical Approach

Vorgestellte Ausgabe

ISBN 10:  0198538219 ISBN 13:  9780198538219
Verlag: Oxford University Press, 1990
Softcover

Suchergebnisse für PROLOG: A Logical Approach

Foto des Verkäufers

Tony Dodd
Verlag: Oxford University Press, 1990
ISBN 10: 0198538227 ISBN 13: 9780198538226
Gebraucht Hardcover

Anbieter: Books & Bobs, Deeside, FLINT, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Fine. A tight, bright, and clean copy with no inscriptions and no annotations/notes. No bumps to spine/cover or foxing to pages. Fantastic condition book. 556pp. (16x24cm). Please contact us for any more information. Bestandsnummer des Verkäufers 7442

Verkäufer kontaktieren

Gebraucht kaufen

EUR 36,67
Währung umrechnen
Versand: EUR 11,81
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Tony Dodd
Verlag: Oxford University Press, 1990
ISBN 10: 0198538227 ISBN 13: 9780198538226
Gebraucht Hardcover

Anbieter: Ammareal, Morangis, Frankreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Bon. Ancien livre de bibliothèque. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers F-934-029

Verkäufer kontaktieren

Gebraucht kaufen

EUR 149,99
Währung umrechnen
Versand: EUR 3,99
Von Frankreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb