Articoli correlati a Programming in Prolog: Using The Iso Standard

Programming in Prolog: Using The Iso Standard - Brossura

 
9783540006787: Programming in Prolog: Using The Iso Standard
Vedi tutte le copie di questo ISBN:
 
 

Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on general programming applications.

Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be a basis for an important new generation of programming languages and systems for Artificial Intelligence. Since the previous edition of Programming in Prolog, the language has been standardised by the International Organization for Standardization (ISO) and this book has been updated accordingly. The authors have also introduced some new material, clarified some explanations, corrected a number of minor errors, and removed appendices about Prolog systems that are now obsolete.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione:

From the reviews of the fifth edition:

"This is the fifth and the most recent edition of a legendary book ... . It was probably the first introductory Prolog book and it is still the most gentle introduction to Prolog for everyone, including non-computer scientists. ... the book is as great as ever as an introductory text for Prolog. When a newbie asks for an introduction to Prolog, the best advice is still Clocksin & Mellish." (Bart Demoen, TLP-Theory and Practice of Logic Programming, Vol. 5 (3), 2005)

Contenuti:
1 Tutorial Introduction.- Gives the student a feel for what it is like to program in Prolog. Introduces objects, relationships, facts, rules, variables.- 1.1 Prolog.- 1.2 Objects and Relationships.- 1.3 Programming.- 1.4 Facts.- 1.5 Questions.- 1.6 Variables.- 1.7 Conjunctions.- 1.8 Rules.- 1.9 Summary and Exercises.- 2 A Closer Look.- More detailed presentation of Prolog syntax and data structures.- 2.1 Syntax.- 2.1.1 Constants.- 2.1.2 Variables.- 2.1.3 Structures.- 2.2 Characters.- 2.3 Operators.- 2.4 Equality and Unification.- 2.5 Arithmetic.- 2.6 Summary of Satisfying Goals.- 2.6.1 Successful satisfaction of a conjunction of goals.- 2.6.2 Consideration of goals in backtracking.- 2.6.3 Unification.- 3 Using Data Structures.- Representing objects and relationships by using trees and lists. Developing several standard Prolog programming techniques.- 3.1 Structures and Trees.- 3.2 Lists.- 3.3 Recursive Search.- 3.4 Mapping.- 3.5 Recursive Comparison.- 3.6 Joining Structures Together.- 3.7 Accumulators.- 3.8 Difference Structures.- 4 Backtracking and the “Cut”.- How a set of clauses generates a set of solutions. Using “cut” to modify the control sequence of running Prolog programs.- 4.1 Generating Multiple Solutions.- 4.2 The “Cut”.- 4.3 Common Uses of the Cut.- 4.3.1 Confirming the Choice of a Rule.- 4.3.2 The “cut-fail” Combination.- 4.3.3 Terminating a “generate and test”.- 4.4 Problems with the Cut.- 5 Input and Output.- Facilities available for the input and output of characters and structures. Developing a program to read sentences from the user and represent the structure as a list of words, which can be used with the Grammar Rules of Chapter.- 5.1 Reading and Writing Terms.- 5.1.1 Reading Terms.- 5.1.2 Writing Terms.- 5.2 Reading and Writing Characters.- 5.2.1 Reading Characters.- 5.2.2 Writing Characters.- 5.3 Reading English Sentences.- 5.4 Reading and Writing Files.- 5.4.1 Opening and closing streams.- 5.4.2 Changing the current input and output.- 5.4.3 Consulting.- 5.5 DeclaringOperators.- 6 Built-in Predicates.- Definition of the “core” built-in predicates, with sensible examples of how each one is used. By this point, the reader should be able to read reasonably complex programs, and should therefore be able to absorb the built-in predicates by seeing them in use.- 6.1 EnteringNew Clauses.- 6.2 Success and Failure.- 6.3 Classifying Terms.- 6.4 Treating Clauses as Terms.- 6.5 Constructing and Accessing Components of Structures.- 6.6 Affecting Backtracking.- 6.7 Constructing Compound Goals.- 6.8 Equality.- 6.9 Input and Output.- 6.10 Handling Files.- 6.11 Evaluating Arithmetic Expressions.- 6.12 Comparing Terms.- 6.13 Watching Prolog atWork.- 7 More Example Programs.- Many example programs are given, covering a wide range of interests. Examples include list processing, set operations, symbolic differentiation and simplification of formula.- 7.1 A Sorted Tree Dictionary.- 7.2 Searching a Maze.- 7.3 The Towers of Hanoi.- 7.4 Parts Inventory.- 7.5 List Processing.- 7.6 Representing andManipulating Sets.- 7.7 Sorting.- 7.8 Using the Database.- 7.8.1 Random.- 7.8.2 Gensym.- 7.8.3 Findall.- 7.9 SearchingGraphs.- 7.10 Sift the Two’s and Sift the Three’s.- 7.11 Symbolic Differentiation.- 7.12 Mapping Structures and Transforming Trees.- 7.13 Manipulating Programs.- 7.14 Bibliographic Notes.- 8 Debugging Prolog Programs.- By this point, the reader will be able to write reasonable programs, and so the problem of debugging will be relevant. Flow of control model, hints about common bugs, techniques of debugging..- 8.1 Laying out Programs.- 8.2 Common Errors.- 8.3 The Tracing Model.- 8.4 Tracing and Spy Points.- 8.4.1 Examining the Goal.- 8.4.2 Examining the Ancestors.- 8.4.3 Altering the Degree of Tracing.- 8.4.4 Altering the Satisfaction of the Goal.- 8.4.5 Other Options.- 8.4.6 Summary.- 8.5 Fixing Bugs.- 9 Using Prolog Grammar Rules.- Applications of existing techniques. Using Grammar Rules. Examining the design decisions for some aspects of analysing natural language with Grammar Rules.- 9.1 The Parsing Problem.- 9.2 Representing the Parsing Problemin Prolog.- 9.3 The Grammar Rule Notation.- 9.4 Adding ExtraArguments.- 9.5 Adding Extra Tests.- 9.6 Summary.- 9.7 Translating Language into Logic.- 9.8 More General Use of Grammar Rules.- 10 The Relation of Prolog to Logic.- Predicate Calculus, clausal form, resolution theorem proving, logic programming.- 10.1 Brief Introduction to Predicate Calculus.- 10.2 Clausal Form.- 10.3 A Notation for Clauses.- 10.4 Resolution and Proving Theorems.- 10.5 Horn Clauses.- 10.6 Prolog.- 10.7 Prolog and Logic Programming.- 11 Projects in Prolog.- A selection of suggested exercises, projects and problems.- 11.1 Easier Projects.- 11.2 Advanced Projects.- A Answers to Selected Exercises.- B Clausal Form Program Listings.- C Writing Portable Standard Prolog Programs.- The Prolog standard, writing portable programs and dealing with different Prolog implementations.- C.1 Standard Prolog for Portability.- C.2 Different Prolog Implementations.- C.3 Issues to LookOut For.- C.4 Definitions of some Standard Predicates.- C.4.1 Character Processing.- C.4.2 Directives.- C.4.3 Stream Input/Output.- C.4.4 Miscellaneous.- D CodetoSupport DCGs.- D.1 DCG Support Code.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2013
  • ISBN 10 3540006788
  • ISBN 13 9783540006787
  • RilegaturaCopertina flessibile
  • Numero edizione5
  • Numero di pagine316
  • Valutazione libreria

I migliori risultati di ricerca su AbeBooks

Foto dell'editore

Clocksin, William F.
Editore: Springer (2003)
ISBN 10: 3540006788 ISBN 13: 9783540006787
Nuovo paperback Quantità: 1
Da:
Your Online Bookstore
(Houston, TX, U.S.A.)
Valutazione libreria

Descrizione libro paperback. Condizione: New. Codice articolo 3540006788-11-29185684

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 53,17
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Clocksin, William F.
Editore: Springer (2003)
ISBN 10: 3540006788 ISBN 13: 9783540006787
Nuovo Brossura Quantità: 1
Da:
Hafa Adai Books
(Moncks Corner, SC, U.S.A.)
Valutazione libreria

Descrizione libro Condizione: new. Codice articolo Hafa_fresh_3540006788

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 56,95
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,66
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Clocksin, William F.
Editore: Springer (2003)
ISBN 10: 3540006788 ISBN 13: 9783540006787
Nuovo Paperback Quantità: 1
Da:
GoldBooks
(Austin, TX, U.S.A.)
Valutazione libreria

Descrizione libro Paperback. Condizione: new. New Copy. Customer Service Guaranteed. Codice articolo think3540006788

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 57,01
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,94
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Clocksin, William F.
Editore: Springer (2003)
ISBN 10: 3540006788 ISBN 13: 9783540006787
Nuovo Brossura Quantità: 1
Da:
Front Cover Books
(Denver, CO, U.S.A.)
Valutazione libreria

Descrizione libro Condizione: new. Codice articolo FrontCover3540006788

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 57,02
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,98
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Clocksin, William F.
Editore: Springer (2003)
ISBN 10: 3540006788 ISBN 13: 9783540006787
Nuovo Paperback Quantità: 1
Da:
GoldenWavesOfBooks
(Fayetteville, TX, U.S.A.)
Valutazione libreria

Descrizione libro Paperback. Condizione: new. New. Fast Shipping and good customer service. Codice articolo Holz_New_3540006788

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 57,85
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,71
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Clocksin, William F.
Editore: Springer (2003)
ISBN 10: 3540006788 ISBN 13: 9783540006787
Nuovo Paperback Quantità: 1
Da:
Grumpys Fine Books
(Tijeras, NM, U.S.A.)
Valutazione libreria

Descrizione libro Paperback. Condizione: new. Prompt service guaranteed. Codice articolo Clean3540006788

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 57,82
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,94
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Clocksin, William F.
Editore: Springer (2003)
ISBN 10: 3540006788 ISBN 13: 9783540006787
Nuovo Paperback Quantità: 1
Da:
Wizard Books
(Long Beach, CA, U.S.A.)
Valutazione libreria

Descrizione libro Paperback. Condizione: new. New. Codice articolo Wizard3540006788

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 68,23
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,24
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Clocksin, William F.
Editore: Springer (2003)
ISBN 10: 3540006788 ISBN 13: 9783540006787
Nuovo Brossura Quantità: > 20
Da:
Lucky's Textbooks
(Dallas, TX, U.S.A.)
Valutazione libreria

Descrizione libro Condizione: New. Codice articolo ABLIING23Mar3113020155464

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 71,39
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,70
In U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

Clocksin, William F.", "Mellish, Christopher S."
Editore: Springer (2003)
ISBN 10: 3540006788 ISBN 13: 9783540006787
Nuovo Soft Cover Quantità: 10
Da:
booksXpress
(Bayonne, NJ, U.S.A.)
Valutazione libreria

Descrizione libro Soft Cover. Condizione: new. Codice articolo 9783540006787

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 79,85
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Clocksin, William F.
Editore: Springer (2003)
ISBN 10: 3540006788 ISBN 13: 9783540006787
Nuovo Paperback Quantità: 1
Da:
Aragon Books Canada
(OTTAWA, ON, Canada)
Valutazione libreria

Descrizione libro Paperback. Condizione: New. Codice articolo IX4--052

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 62,04
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 21,31
Da: Canada a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro