Programming in Prolog: [using the ISO standard]
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2003
|
| Ausgabe: | 5. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 299 S. Ill. |
| ISBN: | 3540006788 0387006788 9783540006787 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV016972588 | ||
| 003 | DE-604 | ||
| 005 | 20140901 | ||
| 007 | t | ||
| 008 | 030311s2003 gw a||| |||| 00||| eng d | ||
| 016 | 7 | |a 966474287 |2 DE-101 | |
| 020 | |a 3540006788 |9 3-540-00678-8 | ||
| 020 | |a 0387006788 |9 0-387-00678-8 | ||
| 020 | |a 9783540006787 |9 978-3-540-00678-7 | ||
| 035 | |a (OCoLC)248883135 | ||
| 035 | |a (DE-599)BVBBV016972588 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-29T |a DE-739 |a DE-19 |a DE-473 |a DE-20 |a DE-521 |a DE-634 |a DE-859 |a DE-11 |a DE-706 |a DE-573 | ||
| 050 | 0 | |a QA76.73.P76C57 2003 | |
| 082 | 0 | |a 005.13/3 21 | |
| 082 | 0 | |a 005.133 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a 28 |2 sdnb | ||
| 100 | 1 | |a Clocksin, William F. |d 1955- |e Verfasser |0 (DE-588)115525084 |4 aut | |
| 245 | 1 | 0 | |a Programming in Prolog |b [using the ISO standard] |c W. F. Clocksin ; C. S. Mellish |
| 250 | |a 5. ed. | ||
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2003 | |
| 300 | |a XIII, 299 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a PROLOG <Programmiersprache> | |
| 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 Mellish, Christopher S. |d 1954- |e Verfasser |0 (DE-588)13355788X |4 aut | |
| 856 | 4 | 2 | |m SWB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010250108&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-010250108 | ||
Datensatz im Suchindex
| _version_ | 1804129891726131200 |
|---|---|
| adam_text | TABLE OF CONTENTS 1 TUTORIAL INTRODUCTION . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 GIVES THE
STUDENT A FEEL FOR WHAT IT IS LIKE TO PROGRAM IN PROLOG. INTRODUCES
OBJECTS, RELATIONSHIPS, FACTS, RULES, VARIABLES 1.1 PROLOG . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 1 1.2 OBJECTS AND RELATIONSHIPS . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . 2 1.3 PROGRAMMING . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . 3 1.4 FACTS . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.5
QUESTIONS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 6 1.6 VARIABLES . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . 8 1.7 CONJUNCTIONS . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . 10 1.8 RULES . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . 16 1.9 SUMMARY AND EXERCISES . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . 22 2 A CLOSER LOOK . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 25 MORE DETAILED PRESENTATION OF PROLOG SYNTAX AND
DATA STRUCTURES 2.1 SYNTAX . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 2.1.1
CONSTANTS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 26 2.1.2 VARIABLES . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 2.1.3
STRUCTURES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 27 2.2 CHARACTERS . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 2.3
OPERATORS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 30 2.4 EQUALITY AND UNIFICATION . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.5 ARITHMETIC . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 34 2.6 SUMMARY OF SATISFYING GOALS
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.6.1
SUCCESSFUL SATISFACTION OF A CONJUNCTION OF GOALS . . . . . . . . . . 38
X TABLE OF CONTENTS 2.6.2 CONSIDERATION OF GOALS IN BACKTRACKING . . . .
. . . . . . . . . . . . . . 42 2.6.3 UNIFICATION. . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 3 USING
DATA STRUCTURES . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 47 REPRESENTING OBJECTS AND RELATIONSHIPS BY
USING TREES AND LISTS. DEVELOPING SEVERAL STANDARD PROLOG PROGRAMMING
TECHNIQUES 3.1 STRUCTURES AND TREES . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . 47 3.2 LISTS . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 50 3.3 RECURSIVE SEARCH . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 3.4 MAPPING .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 57 3.5 RECURSIVE COMPARISON . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 3.6 JOINING
STRUCTURES TOGETHER . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . 63 3.7 ACCUMULATORS . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 3.8
DIFFERENCE STRUCTURES . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 70 4 BACKTRACKING AND THE *CUT* . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. 74 4.2 THE *CUT* . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . 80 4.3 COMMON USES OF THE
CUT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . 85 4.3.1 CONFIRMING THE CHOICE OF A RULE . . . . . . . . . . . . . .
. . . . . . . . . 85 4.3.2 THE *CUT-FAIL* COMBINATION . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 90 4.3.3 TERMINATING A *GENERATE
AND TEST* . . . . . . . . . . . . . . . . . . . . . . . 92 4.4 PROBLEMS
WITH THE CUT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . 96 5 INPUT AND OUTPUT . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 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 9 5.1 READING AND WRITING TERMS . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 100 5.1.1 READING TERMS . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
5.1.2 WRITING TERMS . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 101 5.2 READING AND WRITING CHARACTERS . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . 104 5.2.1 READING
CHARACTERS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . 105 5.2.2 WRITING CHARACTERS . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . 106 TABLE OF CONTENTS XI 5.3 READING
ENGLISH SENTENCES . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . 108 5.4 READING AND WRITING FILES . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . 111 5.4.1 OPENING AND
CLOSING STREAMS. . . . . . . . . . . . . . . . . . . . . . . . . . . 112
5.4.2 CHANGING THE CURRENT INPUT AND OUTPUT . . . . . . . . . . . . . .
. . . . . 113 5.4.3 CONSULTING . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . 115 5.5 DECLARING OPERATORS .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . 116 6 BUILT-IN PREDICATES . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . 119 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 ENTERING NEW CLAUSES . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120 6.2
SUCCESS AND FAILURE . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 121 6.3 CLASSIFYING TERMS . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
6.4 TREATING CLAUSES AS TERMS . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 123 6.5 CONSTRUCTING AND ACCESSING
COMPONENTS OF STRUCTURES . . . . . . . . . . . 127 6.6 AFFECTING
BACKTRACKING . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . 132 6.7 CONSTRUCTING COMPOUND GOALS . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . 134 6.8 EQUALITY . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . 136 6.9 INPUT AND OUTPUT . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . 137 6.10 HANDLING
FILES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 138 6.11 EVALUATING ARITHMETIC EXPRESSIONS . . .
. . . . . . . . . . . . . . . . . . . . . . . . 139 6.12 COMPARING TERMS
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . 140 6.13 WATCHING PROLOG AT WORK . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . 143 7 MORE EXAMPLE PROGRAMS
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . 145 MANY EXAMPLE PROGRAMS ARE GIVEN, COVERING A WIDE RANGE OF
INTERESTS. EXAMPLES INCLUDE LIST PROCESSING, SET OPERATIONS, SYMBOLIC
DIFFERENTIATION AND SIMPLIFICATION OF FORMULAE 7.1 A SORTED TREE
DICTIONARY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . 145 7.2 SEARCHING A MAZE . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . 148 7.3 THE TOWERS OF
HANOI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . 152 7.4 PARTS INVENTORY . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 153 7.5 LIST
PROCESSING . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 155 7.6 REPRESENTING AND MANIPULATING SETS . .
. . . . . . . . . . . . . . . . . . . . . . . . . 159 7.7 SORTING . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 161 7.8 USING THE DATABASE . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164 XII
TABLE OF CONTENTS 7.8.1 RANDOM . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . 164 7.8.2 GENSYM . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . 165 7.8.3 FINDALL . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . 167 7.9 SEARCHING GRAPHS . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . 169 7.10 SIFT THE TWO*S AND SIFT THE THREE*S. . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 174 7.11 SYMBOLIC DIFFERENTIATION .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
177 7.12 MAPPING STRUCTURES AND TRANSFORMING TREES . . . . . . . . . . .
. . . . . . . . . 179 7.13 MANIPULATING PROGRAMS . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . 182 7.14 BIBLIOGRAPHIC
NOTES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . 185 8 DEBUGGING PROLOG PROGRAMS . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . 187 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 . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188 8.2
COMMON ERRORS . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 191 8.3 THE TRACING MODEL . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194
8.4 TRACING AND SPY POINTS . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 200 8.4.1 EXAMINING THE GOAL . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . 204 8.4.2
EXAMINING THE ANCESTORS . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . 205 8.4.3 ALTERING THE DEGREE OF TRACING . . . . . . . . . .
. . . . . . . . . . . . . . . 206 8.4.4 ALTERING THE SATISFACTION OF THE
GOAL . . . . . . . . . . . . . . . . . . . . 207 8.4.5 OTHER OPTIONS . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. 209 8.4.6 SUMMARY . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 209 8.5 FIXING BUGS . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . 210 9 USING PROLOG GRAMMAR RULES . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 213 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . 213 9.2 REPRESENTING THE PARSING PROBLEM IN PROLOG . . .
. . . . . . . . . . . . . . . . . 216 9.3 THE GRAMMAR RULE NOTATION . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221 9.4
ADDING EXTRA ARGUMENTS . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 223 9.5 ADDING EXTRA TESTS . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227 9.6
SUMMARY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 230 9.7 TRANSLATING LANGUAGE INTO
LOGIC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231
9.8 MORE GENERAL USE OF GRAMMAR RULES . . . . . . . . . . . . . . . . .
. . . . . . . . . 233 TABLE OF CONTENTS XIII 10 THE RELATION OF PROLOG
TO LOGIC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . 237 PREDICATE CALCULUS, CLAUSAL FORM, RESOLUTION THEOREM PROVING,
LOGIC PROGRAMMING 10.1 BRIEF INTRODUCTION TO PREDICATE CALCULUS . . . .
. . . . . . . . . . . . . . . . . . . . 237 10.2 CLAUSAL FORM . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . 240 10.3 A NOTATION FOR CLAUSES . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . 246 10.4 RESOLUTION AND
PROVING THEOREMS. . . . . . . . . . . . . . . . . . . . . . . . . . . .
. 248 10.5 HORN CLAUSES . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . 251 10.6 PROLOG . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . 252 10.7 PROLOG AND LOGIC PROGRAMMING . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . 254 11 PROJECTS IN
PROLOG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 259 A SELECTION OF SUGGESTED EXERCISES,
PROJECTS AND PROBLEMS 11.1 EASIER PROJECTS . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 259 11.2
ADVANCED PROJECTS . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 262 A ANSWERS TO SELECTED EXERCISES . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 267 B
CLAUSAL FORM PROGRAM LISTINGS . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 271 C WRITING PORTABLE STANDARD PROLOG
PROGRAMS . . . . . . . . . . . . . . . . . . . . . . 277 THE PROLOG
STANDARD, WRITING PORTABLE PROGRAMS AND DEALING WITH DIFFERENT PROLOG
IMPLEMENTATIONS C.1 STANDARD PROLOG FOR PORTABILITY . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . 277 C.2 DIFFERENT PROLOG
IMPLEMENTATIONS . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. 278 C.3 ISSUES TO LOOK OUT FOR . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 279 C.4 DEFINITIONS OF SOME STANDARD
PREDICATES. . . . . . . . . . . . . . . . . . . . . . . . 280 C.4.1
CHARACTER PROCESSING . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . 281 C.4.2 DIRECTIVES . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . 283 C.4.3 STREAM
INPUT/OUTPUT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . 284 C.4.4 MISCELLANEOUS . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 287 D CODE TO SUPPORT DCGS . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. 289 D.1 DCG SUPPORT CODE . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 290 INDEX . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 295
|
| any_adam_object | 1 |
| author | Clocksin, William F. 1955- Mellish, Christopher S. 1954- |
| author_GND | (DE-588)115525084 (DE-588)13355788X |
| author_facet | Clocksin, William F. 1955- Mellish, Christopher S. 1954- |
| author_role | aut aut |
| author_sort | Clocksin, William F. 1955- |
| author_variant | w f c wf wfc c s m cs csm |
| building | Verbundindex |
| bvnumber | BV016972588 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.73.P76C57 2003 |
| callnumber-search | QA76.73.P76C57 2003 |
| callnumber-sort | QA 276.73 P76 C57 42003 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 250 |
| ctrlnum | (OCoLC)248883135 (DE-599)BVBBV016972588 |
| dewey-full | 005.13/321 005.133 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/3 21 005.133 |
| dewey-search | 005.13/3 21 005.133 |
| dewey-sort | 15.13 13 221 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 5. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01751nam a2200457 c 4500</leader><controlfield tag="001">BV016972588</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140901 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">030311s2003 gw a||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">966474287</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540006788</subfield><subfield code="9">3-540-00678-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387006788</subfield><subfield code="9">0-387-00678-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540006787</subfield><subfield code="9">978-3-540-00678-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248883135</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV016972588</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.P76C57 2003</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/3 21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.133</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">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Clocksin, William F.</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)115525084</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming in Prolog</subfield><subfield code="b">[using the ISO standard]</subfield><subfield code="c">W. F. Clocksin ; C. S. Mellish</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">5. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 299 S.</subfield><subfield code="b">Ill.</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="650" ind1=" " ind2="4"><subfield code="a">PROLOG <Programmiersprache></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">Mellish, Christopher S.</subfield><subfield code="d">1954-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)13355788X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">SWB Datenaustausch</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=010250108&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-010250108</subfield></datafield></record></collection> |
| id | DE-604.BV016972588 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:12:21Z |
| institution | BVB |
| isbn | 3540006788 0387006788 9783540006787 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010250108 |
| oclc_num | 248883135 |
| open_access_boolean | |
| owner | DE-29T DE-739 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-20 DE-521 DE-634 DE-859 DE-11 DE-706 DE-573 |
| owner_facet | DE-29T DE-739 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-20 DE-521 DE-634 DE-859 DE-11 DE-706 DE-573 |
| physical | XIII, 299 S. Ill. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| spelling | Clocksin, William F. 1955- Verfasser (DE-588)115525084 aut Programming in Prolog [using the ISO standard] W. F. Clocksin ; C. S. Mellish 5. ed. Berlin [u.a.] Springer 2003 XIII, 299 S. Ill. txt rdacontent n rdamedia nc rdacarrier PROLOG <Programmiersprache> Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf PROLOG Programmiersprache (DE-588)4047464-1 s DE-604 Mellish, Christopher S. 1954- Verfasser (DE-588)13355788X aut SWB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010250108&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Clocksin, William F. 1955- Mellish, Christopher S. 1954- Programming in Prolog [using the ISO standard] PROLOG <Programmiersprache> Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| subject_GND | (DE-588)4047464-1 |
| title | Programming in Prolog [using the ISO standard] |
| title_auth | Programming in Prolog [using the ISO standard] |
| title_exact_search | Programming in Prolog [using the ISO standard] |
| title_full | Programming in Prolog [using the ISO standard] W. F. Clocksin ; C. S. Mellish |
| title_fullStr | Programming in Prolog [using the ISO standard] W. F. Clocksin ; C. S. Mellish |
| title_full_unstemmed | Programming in Prolog [using the ISO standard] W. F. Clocksin ; C. S. Mellish |
| title_short | Programming in Prolog |
| title_sort | programming in prolog using the iso standard |
| title_sub | [using the ISO standard] |
| topic | PROLOG <Programmiersprache> Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| topic_facet | PROLOG <Programmiersprache> Prolog (Computer program language) PROLOG Programmiersprache |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010250108&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT clocksinwilliamf programminginprologusingtheisostandard AT mellishchristophers programminginprologusingtheisostandard |