Programming in Prolog:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1994
|
| Edition: | 4. ed. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIV, 281 S. graph. Darst. |
| ISBN: | 3540583505 0387583505 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009780054 | ||
| 003 | DE-604 | ||
| 005 | 20120829 | ||
| 007 | t | ||
| 008 | 940822s1994 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 941900274 |2 DE-101 | |
| 020 | |a 3540583505 |9 3-540-58350-5 | ||
| 020 | |a 0387583505 |9 0-387-58350-5 | ||
| 035 | |a (OCoLC)31044939 | ||
| 035 | |a (DE-599)BVBBV009780054 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-355 |a DE-19 |a DE-91G |a DE-739 |a DE-384 |a DE-Aug4 |a DE-858 |a DE-522 |a DE-634 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.73.P76 | |
| 082 | 0 | |a 005.13/3 |2 22 | |
| 084 | |a ES 920 |0 (DE-625)27929: |2 rvk | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a DAT 652f |2 stub | ||
| 100 | 1 | |a Clocksin, William F. |d 1955- |e Verfasser |0 (DE-588)115525084 |4 aut | |
| 245 | 1 | 0 | |a Programming in Prolog |c W. F. Clocksin ; C. S. Mellish |
| 250 | |a 4. ed. | ||
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1994 | |
| 300 | |a XIV, 281 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a PROLOG |2 gtt | |
| 650 | 7 | |a PROLOG |2 inriac | |
| 650 | 4 | |a Prolog (Langage de programmation) | |
| 650 | 7 | |a Prolog (langage de programmation) |2 ram | |
| 650 | 7 | |a programmation PROLOG |2 inriac | |
| 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. |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006471652&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006471652 | |
Record in the Search Index
| _version_ | 1807230237066395648 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
CHAPTER
1
.
1
GIVES
THE
STUDENT
A
"FEEL
"
FOR
WHAT
IT
IS
LIKE
TO
PROGRAM
IN
PROLOG.
INTRODUCES
OBJECTS,
RELATIONSHIPS,
FACTS,
RULES,
VARIABLES.
1.1
FACTS
.
2
1.2
QUESTIONS
.
5
1.3
VARIABLES
.
6
1.4
CONJUNCTIONS
.
8
1.5
RULES
.
13
1.6
SUMMARY
AND
EXERCISES
.
19
CHAPTER
2
.
21
MORE
DETAILED
PRESENTATION
OF
PROLOG
SYNTAX
AND
DATA
STRUCTURES.
2.1
SYNTAX
.
21
2.2
CHARACTERS
.
25
2.3
OPERATORS
.
26
2.4
EQUALITY
AND
MATCHING
.
28
2.5
ARITHMETIC
.
30
2.6
SUMMARY
OF
SATISFYING
GOALS
.
34
CHAPTER
3
.
43
REPRESENTING
OBJECTS
AND
RELATIONSHIPS
BY
USING
"TREES
"
AND
"LISTS
"
.
DEVELOPING
SEVERAL
STANDARD
PROLOG
PROGRAMMING
TECHNIQUES.
3.1
STRUCTURES
AND
TREES
.
43
3.2
LISTS
.
45
3.3
RECURSIVE
SEARCH
.
49
3.4
MAPPING
.
53
3.5
RECURSIVE
COMPARISON
.
56
3.6
JOINING
STRUCTURES
TOGETHER
.
59
3.7
ACCUMULATORS
.
62
3.8
DIFFERENCE
STRUCTURES
.
66
CHAPTER
4
.
69
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
.
70
4.2
THE
"CUT
"
.
75
4.3
COMMON
USES
OF
THE
CUT
.
79
4.4
PROBLEMS
WITH
THE
CUT
.
91
XII
TABLE
OF
CONTENTS
CHAPTER
5
.
93
FACILITIES
AVAILABLE
FOR
THE
INPUT
AND
OUTPUT
OF
CHARACTERS
AND
STRUCTURES.
DEVELOPING
A
PROGRAM
TO
READ
SENTENCES
FROM
THE
USER
AND
REPRESENT
THE
SENTENCE
AS
A
LIST
OF
WORDS,
WHICH
CAN
BE
USED
WITH
THE
GRAMMAR
RULES
OF
CHAPTER
9.
5.1
READING
AND
WRITING
TERMS
.
95
5.2
READING
AND
WRITING
CHARACTERS
.
98
5.3
READING
ENGLISH
SENTENCES
.
100
5.4
READING
AND
WRITING
FILES
.
103
5.5
DECLARING
OPERATORS
.
106
CHAPTER
6
.
109
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
.
109
6.2
SUCCESS
AND
FAILURE
.
ILL
6.3
CLASSIFYING
TERMS
.
112
6.4
TREATING
CLAUSES
AS
TERMS
.
113
6.5
CONSTRUCTING
AND
ACCESSING
COMPONENTS
OF
STRUCTURES
.
117
6.6
AFFECTING
BACKTRACKING
.
121
6.7
CONSTRUCTING
COMPOUND
GOALS
.
123
6.8
EQUALITY
.
126
6.9
INPUT
AND
OUTPUT
.
127
6.10
HANDLING
FILES
.
129
6.11
EVALUATING
ARITHMETIC
EXPRESSIONS
.
130
6.12
COMPARING
NUMBERS
.
131
6.13
WATCHING
PROLOG
AT
WORK
.
131
CHAPTER
7
.
133
MANY
EXAMPLE
PROGRAMS
ARE
GIVEN,
COVERING
A
WIDE
RANGE
OF
INTERESTS.
NEW
EXAMPLES
INCLUDE
LIST
PROCESSING,
SET
OPERATIONS,
SYMBOLIC
DIFFERENTIATION
AND
SIMPLIFICATION
OF
FORMULAE.
7.1
A
SORTED
TREE
DICTIONARY
.
133
7.2
SEARCHING
A
MAZE
.
136
7.3
THE
TOWERS
OF
HANOI
.
140
7.4
PARTS
INVENTORY
.
141
7.5
LIST
PROCESSING
.
143
7.6
REPRESENTING
AND
MANIPULATING
SETS
.
147
7.7
SORTING
.
149
7.8
USING
THE
DATABASE:
RANDOM,
GENSYM,
F
I
NDAL
1
.
152
TABLE
OF
CONTENTS
XIII
7.9
SEARCHING
GRAPHS
.
158
7.10
SIFT
THE
TWO'S
AND
SIFT
THE
THREE'S
.
164
7.11
SYMBOLIC
DIFFERENTIATION
.
165
7.12
MAPPING
STRUCTURES
AND
TRANSFORMING
TREES
.
167
7.13
MANIPULATING
PROGRAMS
.
170
CHAPTERS
.
175
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
.
176
8.2
COMMON
ERRORS
.
179
8.3
THE
TRACING
MODEL
.
182
8.4
TRACING
AND
SPY
POINTS
.
188
8.5
FIXING
BUGS
.
198
CHAPTER
9
.
201
APPLICATIONS
OF
EXISTING
TECHNIQUES.
USING
GRAMMAR
RULES.
EXAMINING
THE
DESIGN
DECISIONS
FOR
SOME
ASPECTS
OF
ANALYSING
NATURAL
LANGUAGE
WITH
GRAMMAR
R
ULES.
9.1
THE
PARSING
PROBLEM
.
201
9.2
REPRESENTING
THE
PARSING
PROBLEM
IN
PROLOG
.
204
9.3
THE
GRAMMAR
RULE
NOTATION
.
209
9.4
ADDING
EXTRA
ARGUMENTS
.
211
9.5
ADDING
EXTRA
TESTS
.
215
9.6
SUMMARY
.
217
CHAPTER
10
.
221
PREDICATE
CALCULUS,
CLAUSAL
FORM,
RESOLUTION
THEOREM
PROVING,
LOGIC
PROGRAMMING.
10.1
BRIEF
INTRODUCTION
TO
PREDICATE
CALCULUS
.
221
10.2
CLAUSAL
FORM
.
224
10.3
A
NOTATION
FOR
CLAUSES
.
230
10.4
RESOLUTION
AND
PROVING
THEOREMS
.
232
10.5
HORN
CLAUSES
.
236
10.6
PROLOG
.
237
10.7
PROLOG
AND
LOGIC
PROGRAMMING
.
239
CHAPTER
11
.
243
A
SELECTION
OF
SUGGESTED
EXERCISES,
PROJECTS,
AND
PROBLEMS.
11.1
EASIER
PROJECTS
.
243
11.2
ADVANCED
PROJECTS
.
246
XIV
TABLE
OF
CONTENTS
APPENDICES
A.
ANSWERS
TO
SELECTED
EXERCISES
.
249
B.
CLAUSAL
FORM
PROGRAM LISTINGS
.
254
C.
DIFFERENT
VERSIONS
OF
PROLOG
.
260
D.
EDINBURGH
PROLOG
.
264
E.
MICRO-PROLOG
.
273
INDEX
.
277 |
| any_adam_object | 1 |
| author | Clocksin, William F. 1955- Mellish, Christopher S. |
| author_GND | (DE-588)115525084 |
| author_facet | Clocksin, William F. 1955- Mellish, Christopher S. |
| 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 | BV009780054 |
| 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 920 ST 250 |
| classification_tum | DAT 652f |
| ctrlnum | (OCoLC)31044939 (DE-599)BVBBV009780054 |
| 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 | 4. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV009780054</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120829</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940822s1994 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941900274</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540583505</subfield><subfield code="9">3-540-58350-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387583505</subfield><subfield code="9">0-387-58350-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31044939</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009780054</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-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</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">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ES 920</subfield><subfield code="0">(DE-625)27929:</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 652f</subfield><subfield code="2">stub</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="c">W. F. Clocksin ; C. S. Mellish</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">4. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 281 S.</subfield><subfield code="b">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="650" ind1=" " ind2="7"><subfield code="a">PROLOG</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PROLOG</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Prolog (langage de programmation)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation PROLOG</subfield><subfield code="2">inriac</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="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=006471652&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006471652</subfield></datafield></record></collection> |
| id | DE-604.BV009780054 |
| illustrated | Illustrated |
| indexdate | 2024-08-13T00:30:58Z |
| institution | BVB |
| isbn | 3540583505 0387583505 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006471652 |
| oclc_num | 31044939 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-739 DE-384 DE-Aug4 DE-858 DE-522 DE-634 DE-11 DE-188 |
| owner_facet | DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-739 DE-384 DE-Aug4 DE-858 DE-522 DE-634 DE-11 DE-188 |
| physical | XIV, 281 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Springer |
| record_format | marc |
| spelling | Clocksin, William F. 1955- Verfasser (DE-588)115525084 aut Programming in Prolog W. F. Clocksin ; C. S. Mellish 4. ed. Berlin [u.a.] Springer 1994 XIV, 281 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier PROLOG gtt PROLOG inriac Prolog (Langage de programmation) Prolog (langage de programmation) ram programmation PROLOG inriac 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. Verfasser aut DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006471652&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Clocksin, William F. 1955- Mellish, Christopher S. Programming in Prolog PROLOG gtt PROLOG inriac Prolog (Langage de programmation) Prolog (langage de programmation) ram programmation PROLOG inriac Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| subject_GND | (DE-588)4047464-1 |
| title | Programming in Prolog |
| title_auth | Programming in Prolog |
| title_exact_search | Programming in Prolog |
| title_full | Programming in Prolog W. F. Clocksin ; C. S. Mellish |
| title_fullStr | Programming in Prolog W. F. Clocksin ; C. S. Mellish |
| title_full_unstemmed | Programming in Prolog W. F. Clocksin ; C. S. Mellish |
| title_short | Programming in Prolog |
| title_sort | programming in prolog |
| topic | PROLOG gtt PROLOG inriac Prolog (Langage de programmation) Prolog (langage de programmation) ram programmation PROLOG inriac Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| topic_facet | PROLOG Prolog (Langage de programmation) Prolog (langage de programmation) programmation PROLOG Prolog (Computer program language) PROLOG Programmiersprache |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006471652&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT clocksinwilliamf programminginprolog AT mellishchristophers programminginprolog |