Artículos relacionados a PROLOG: A Logical Approach

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

PROLOG: A Logical Approach - Tapa blanda

 
9780198538219: PROLOG: A Logical Approach

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

  • EditorialOxford University Press
  • Año de publicación1990
  • ISBN 10 0198538219
  • ISBN 13 9780198538219
  • EncuadernaciónTapa blanda
  • IdiomaInglés
  • Número de páginas568
  • Contacto del fabricanteno disponible

Comprar usado

Condición: Aceptable
Type: Book N.B. Small plain label...
Ver este artículo

EUR 14,83 gastos de envío desde Reino Unido a España

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9780198538226: PROLOG: A Logical Approach

Edición Destacada

ISBN 10:  0198538227 ISBN 13:  9780198538226
Editorial: Oxford University Press, 1990
Tapa dura

Resultados de la búsqueda para PROLOG: A Logical Approach

Imagen de archivo

Tony Dodd
Publicado por Oxford University Press, 1990
ISBN 10: 0198538219 ISBN 13: 9780198538219
Antiguo o usado Paperback

Librería: Fireside Bookshop, Stroud, GLOS, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Good. Type: Book N.B. Small plain label to inside front cover. Damage stamp to title page. Large crease to front cover. Nº de ref. del artículo: 054475

Contactar al vendedor

Comprar usado

EUR 12,22
Convertir moneda
Gastos de envío: EUR 14,83
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Tony Dodd
Publicado por 1990, 1990
ISBN 10: 0198538219 ISBN 13: 9780198538219
Antiguo o usado Tapa blanda

Librería: ChouetteCoop, Kervignac, Francia

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Used: Acceptable. Occasion - Etat Correct - Couvert, Un peu gondolé - Prolog : A logical approach (1990) - Grand Format. Nº de ref. del artículo: 3253107

Contactar al vendedor

Comprar usado

EUR 25,90
Convertir moneda
Gastos de envío: EUR 8,00
De Francia a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito