Former Library book. Binding is slightly damaged and/or book has some loose pages. No missing pages. Bookseller Inventory #
Synopsis: 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.
Title: Prolog: A Logical Approach
Publisher: Oxford University Press
Publication Date: 1990
Book Condition: Fair
Edition: illustrated edition.
Book Description Oxford University Press, 1990. Gebundene Ausgabe. Book Condition: Akzeptabel. 568 Seiten Ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); und sichtbaren Gebrauchsspuren; in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters akzeptabel. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 1163652.01 Sprache: Englisch Gewicht in Gramm: 1021. Bookseller Inventory # 561657
Book Description Oxford University Press, Oxford, 1990. Hardcover. Book Condition: Good. Dust Jacket Condition: No Dust Jacket. Hardcover. No jacket. Superficial marks and light scores on boards. Leading corners are very lightly worn. Page block is lightly marked. Pages are clean and text is clear throughout. Binding is sound. HJW. Used. Bookseller Inventory # 299624
Book Description OUP., 1990. Book Condition: Very Good. Hard Cover. Book- VG, integral colour boards. 9.5x6.5. 556pp. Bookseller Inventory # 1278130
Book Description Oxford University Press, 1990. Hardcover. Book Condition: Good. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. Buy with confidence, excellent customer service!. Bookseller Inventory # 0198538227
Book Description Oxford University Press, USA, 1990. Hardcover. Book Condition: New. Bookseller Inventory # DADAX0198538227