The art of Prolog: advanced programming techniques
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. [u.a.]
MIT Press
1994
|
| Ausgabe: | 2. ed. |
| Schriftenreihe: | MIT Press series in logic programming
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XXXVIII, 509 S. Ill., graph. Darst. |
| ISBN: | 0262193388 0262691639 9780262193382 9780262691635 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009765597 | ||
| 003 | DE-604 | ||
| 005 | 20120829 | ||
| 007 | t | ||
| 008 | 940819s1994 ad|| |||| 00||| eng d | ||
| 020 | |a 0262193388 |9 0-262-19338-8 | ||
| 020 | |a 0262691639 |9 0-262-69163-9 | ||
| 020 | |a 9780262193382 |9 978-0-262-19338-2 | ||
| 020 | |a 9780262691635 |9 978-0-262-69163-5 | ||
| 035 | |a (OCoLC)29564724 | ||
| 035 | |a (DE-599)BVBBV009765597 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-29T |a DE-91G |a DE-739 |a DE-20 |a DE-473 |a DE-703 |a DE-706 |a DE-634 |a DE-859 |a DE-11 |a DE-522 | ||
| 050 | 0 | |a QA76.73.P76 | |
| 082 | 0 | |a 005.13/3 |2 20 | |
| 084 | |a ES 915 |0 (DE-625)27928: |2 rvk | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a DAT 369f |2 stub | ||
| 100 | 1 | |a Sterling, Leon |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The art of Prolog |b advanced programming techniques |c Leon Sterling ; Ehud Shapiro |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a Cambridge, Mass. [u.a.] |b MIT Press |c 1994 | |
| 300 | |a XXXVIII, 509 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a MIT Press series in logic programming | |
| 650 | 7 | |a PROLOG |2 gtt | |
| 650 | 4 | |a Prolog (Langage de programmation) | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 650 | 0 | 7 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Shapiro, Ehud |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006460327&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006460327 | ||
Datensatz im Suchindex
| _version_ | 1804124113218830336 |
|---|---|
| adam_text | LEON STERLING EHUD SHAPIRO WITH A FOREWORD BY DAVID H. D. WARREN THE ART
OF PROLOG ADVANCED PROGRAMMING TECHNIQUES SECOND EDITION THE MIT PRESS
CAMBRIDGE, MASSACHUSETTS LONDON, ENGLAND CONTENTS FIGURES XIII PROGRAMS
XVII SERIES FOREWORD XXV FOREWORD XXVII PREFACE XXXI PREFACE TO FIRST
EDITION XXXV INTRODUCTION / LOGIC PROGRAMS 9 BASIC CONSTRUCTS 11 1.1
FACTS 11 1.2 QUERIES 12 1.3 THE LOGICAL VARIABLE, SUBSTITUTIONS, AND
INSTANCES 13 1.4 EXISTENTIAL QUERIES 14 1.5 UNIVERSAL FACTS 15 1.6
CONJUNCTIVE QUERIES AND SHARED VARIABLES 16 1.7 RULES 18 VIA CONTENTS
1.8 A SIMPLE ABSTRACT INTERPRETER 22 1.9 THE MEANING OF A LOGIC PROGRAM
25 1.10 SUMMARY 27 DATABASE PROGRAMMING 29 2.1 SIMPLE DATABASES 29 2.2
STRUCTURED DATA AND DATA ABSTRACTION 35 2.3 RECURSIVE RULES 39 2.4 LOGIC
PROGRAMS AND THE RELATIONAL DATABASE MODEL 2.5 BACKGROUND 44 RECURSIVE
PROGRAMMING 45 3.1 ARITHMETIC 45 3.2 LISTS 56 3.3 COMPOSING RECURSIVE
PROGRAMS 65 3.4 BINARY TREES 72 3.5 MANIPULATING SYMBOLIC EXPRESSIONS 78
3.6 BACKGROUND 84 42 THE COMPUTATION MODEL OF LOGIC PROGRAMS 87 4.1
UNIFICATION 87 4.2 AN ABSTRACT INTERPRETER FOR LOGIC PROGRAMS 91 4.3
BACKGROUND 98 THEORY OF LOGIC PROGRAMS 101 5.1 SEMANTICS 101 5.2 PROGRAM
CORRECTNESS 105 5.3 COMPLEXITY 108 5.4 SEARCH TREES 110 5.5 NEGATION IN
LOGIC PROGRAMMING 5.6 BACKGROUND 115 113 CONTENTS II THE PROLOG LANGUAGE
117 PURE PROLOG 119 6.1 THE EXECUTION MODEL OF PROLOG 119 6.2 COMPARISON
TO CONVENTIONAL PROGRAMMING LANGUAGES 124 6.3 BACKGROUND 127 PROGRAMMING
IN PURE PROLOG 129 7.1 RULE ORDER 129 7.2 TERMINATION 131 7.3 GOAL ORDER
133 7.4 REDUNDANT SOLUTIONS 136 7.5 RECURSIVE PROGRAMMING IN PURE PROLOG
139 7.6 BACKGROUND 147 ARITHMETIC 149 8.1 SYSTEM PREDICATES FOR
ARITHMETIC 149 8.2 ARITHMETIC LOGIC PROGRAMS REVISITED 152 8.3
TRANSFORMING RECURSION INTO ITERATION 154 8.4 BACKGROUND 162 STRUCTURE
INSPECTION 163 9.1 TYPE PREDICATES 163 9.2 ACCESSING COMPOUND TERMS 167
9.3 BACKGROUND 174 META-LOGICAL PREDICATES 175 10.1 META-LOGICAL TYPE
PREDICATES 176 10.2 COMPARING NONGROUND TERMS 180 10.3 VARIABLES AS
OBJECTS 182 10.4 THE META-VARIABLE FACILITY 185 10.5 BACKGROUND 186 10
CONTENTS 11 CUTS AND NEGATION 189 11.1 GREEN CUTS: EXPRESSING
DETERMINISM 189 11.2 TAIL RECURSION OPTIMIZATION 195 11.3 NEGATION 198
11.4 RED CUTS: OMITTING EXPLICIT CONDITIONS 202 11.5 DEFAULT RULES 206
11.6 CUTS FOR EFFICIENCY 208 11.7 BACKGROUND 212 12 EXTRA-LOGICAL
PREDICATES 215 12.1 INPUT/OUTPUT 215 12.2 PROGRAM ACCESS AND
MANIPULATION 219 12.3 MEMO-FUNCTIONS 221 12.4 INTERACTIVE PROGRAMS 223
12.5 FAILURE-DRIVEN LOOPS 229 12.6 BACKGROUND 231 13 PROGRAM DEVELOPMENT
233 13.1 PROGRAMMING STYLE AND LAYOUT 233 13.2 REFLECTIONS ON PROGRAM
DEVELOPMENT 235 13.3 SYSTEMATIZING PROGRAM CONSTRUCTION 238 13.4
BACKGROUND 244 /// ADVANCED PROLOG PROGRAMMING TECHNIQUES 247 14
NONDETERMINISTIC PROGRAMMING 249 14.1 GENERATE-AND-TEST 249 14.2
DON T-CARE AND DON T-KNOW NONDETERMINISM 263 14.3 ARTIFICIAL
INTELLIGENCE CLASSICS: ANALOGY, ELIZA, AND MCSAM 270 14.4 BACKGROUND 280
15 INCOMPLETE DATA STRUCTURES 283 15.1 DIFFERENCE-LISTS 283 XI CONTENTS
16 17 18 19 20 15.2 DIFFERENCE-STRUCTURES 291 15.3 DICTIONARIES 293 15.4
QUEUES 297 15.5 BACKGROUND 300 SECOND-ORDER PROGRAMMING 301 16.1
ALL-SOLUTIONS PREDICATES 301 16.2 APPLICATIONS OF SET PREDICATES 305
16.3 OTHER SECOND-ORDER PREDICATES 314 16.4 BACKGROUND 317 INTERPRETERS
319 17.1 INTERPRETERS FOR FINITE STATE MACHINES 319 17.2
META-LNTERPRETERS 323 17.3 ENHANCED META-LNTERPRETERS FOR DEBUGGING 331
17.4 AN EXPLANATION SHELL FOR RULE-BASED SYSTEMS 341 17.5 BACKGROUND 354
PROGRAM TRANSFORMATION 357 18.1 UNFOLD/FOLD TRANSFORMATIONS 357 18.2
PARTIAL REDUCTION 360 18.3 CODE WALKING 366 18.4 BACKGROUND 373 LOGIC
GRAMMARS 375 19.1 DEFINITE CLAUSE GRAMMARS 375 19.2 A GRAMMAR
INTERPRETER 380 19.3 APPLICATION TO NATURAL LANGUAGE UNDERSTANDING 382
19.4 BACKGROUND 388 SEARCH TECHNIQUES 389 20.1 SEARCHING STATE-SPACE
GRAPHS 20.2 SEARCHING GAME TREES 401 20.3 BACKGROUND 407 389 XII
CONTENTS TV APPLICATIONS 409 21 GAME-PLAYING PROGRAMS 411 21.1
MASTERMIND 411 21.2 MM 415 21.3 KALAH 420 21.4 BACKGROUND 423 22 A
CREDIT EVALUATION EXPERT SYSTEM 429 22.1 DEVELOPING THE SYSTEM 429 22.2
BACKGROUND 438 23 AN EQUATION SOLVER 439 23.1 AN OVERVIEW OF EQUATION
SOLVING 439 23.2 FACTORIZATION 448 23.3 ISOLATION 449 23.4 POLYNOMIAL
452 23.5 HOMOGENIZATION 454 23.6 BACKGROUND 457 24 A COMPILER 459 24.1
OVERVIEW OF THE COMPILER 459 24.2 THE PARSER 466 24.3 THE CODE GENERATOR
470 24.4 THE ASSEMBLER 475 24.5 BACKGROUND 478 A OPERATORS 479
REFERENCES 483 INDEX 497
|
| any_adam_object | 1 |
| author | Sterling, Leon Shapiro, Ehud |
| author_facet | Sterling, Leon Shapiro, Ehud |
| author_role | aut aut |
| author_sort | Sterling, Leon |
| author_variant | l s ls e s es |
| building | Verbundindex |
| bvnumber | BV009765597 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.73.P76 |
| callnumber-search | QA76.73.P76 |
| callnumber-sort | QA 276.73 P76 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ES 915 ST 250 |
| classification_tum | DAT 369f |
| ctrlnum | (OCoLC)29564724 (DE-599)BVBBV009765597 |
| dewey-full | 005.13/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/3 |
| dewey-search | 005.13/3 |
| dewey-sort | 15.13 13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Sprachwissenschaft Literaturwissenschaft |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01835nam a2200469 c 4500</leader><controlfield tag="001">BV009765597</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120829 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940819s1994 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262193388</subfield><subfield code="9">0-262-19338-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262691639</subfield><subfield code="9">0-262-69163-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262193382</subfield><subfield code="9">978-0-262-19338-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262691635</subfield><subfield code="9">978-0-262-69163-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)29564724</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009765597</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-522</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.P76</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ES 915</subfield><subfield code="0">(DE-625)27928:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 369f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sterling, Leon</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The art of Prolog</subfield><subfield code="b">advanced programming techniques</subfield><subfield code="c">Leon Sterling ; Ehud Shapiro</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. [u.a.]</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXXVIII, 509 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">MIT Press series in logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PROLOG</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Computer program language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shapiro, Ehud</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006460327&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006460327</subfield></datafield></record></collection> |
| id | DE-604.BV009765597 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:40:30Z |
| institution | BVB |
| isbn | 0262193388 0262691639 9780262193382 9780262691635 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006460327 |
| oclc_num | 29564724 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-29T DE-91G DE-BY-TUM DE-739 DE-20 DE-473 DE-BY-UBG DE-703 DE-706 DE-634 DE-859 DE-11 DE-522 |
| owner_facet | DE-19 DE-BY-UBM DE-29T DE-91G DE-BY-TUM DE-739 DE-20 DE-473 DE-BY-UBG DE-703 DE-706 DE-634 DE-859 DE-11 DE-522 |
| physical | XXXVIII, 509 S. Ill., graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | MIT Press |
| record_format | marc |
| series2 | MIT Press series in logic programming |
| spelling | Sterling, Leon Verfasser aut The art of Prolog advanced programming techniques Leon Sterling ; Ehud Shapiro 2. ed. Cambridge, Mass. [u.a.] MIT Press 1994 XXXVIII, 509 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier MIT Press series in logic programming PROLOG gtt Prolog (Langage de programmation) Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf PROLOG Programmiersprache (DE-588)4047464-1 s DE-604 Shapiro, Ehud Verfasser aut HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006460327&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Sterling, Leon Shapiro, Ehud The art of Prolog advanced programming techniques PROLOG gtt Prolog (Langage de programmation) Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| subject_GND | (DE-588)4047464-1 |
| title | The art of Prolog advanced programming techniques |
| title_auth | The art of Prolog advanced programming techniques |
| title_exact_search | The art of Prolog advanced programming techniques |
| title_full | The art of Prolog advanced programming techniques Leon Sterling ; Ehud Shapiro |
| title_fullStr | The art of Prolog advanced programming techniques Leon Sterling ; Ehud Shapiro |
| title_full_unstemmed | The art of Prolog advanced programming techniques Leon Sterling ; Ehud Shapiro |
| title_short | The art of Prolog |
| title_sort | the art of prolog advanced programming techniques |
| title_sub | advanced programming techniques |
| topic | PROLOG gtt Prolog (Langage de programmation) Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| topic_facet | PROLOG Prolog (Langage de programmation) Prolog (Computer program language) PROLOG Programmiersprache |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006460327&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT sterlingleon theartofprologadvancedprogrammingtechniques AT shapiroehud theartofprologadvancedprogrammingtechniques |