Clause and effect: Prolog programming for the working programmer
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1997
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 143 S. graph. Darst. |
| ISBN: | 3540629718 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011523884 | ||
| 003 | DE-604 | ||
| 005 | 20120829 | ||
| 007 | t | ||
| 008 | 970901s1997 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 950943771 |2 DE-101 | |
| 020 | |a 3540629718 |9 3-540-62971-8 | ||
| 035 | |a (OCoLC)845497741 | ||
| 035 | |a (DE-599)BVBBV011523884 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-20 |a DE-473 |a DE-526 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.73.P76 | |
| 082 | 0 | |a 005.13/3 |2 21 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 100 | 1 | |a Clocksin, William F. |d 1955- |e Verfasser |0 (DE-588)115525084 |4 aut | |
| 245 | 1 | 0 | |a Clause and effect |b Prolog programming for the working programmer |c William F. Clocksin |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1997 | |
| 300 | |a IX, 143 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a PROLOG |2 inriac | |
| 650 | 4 | |a Prolog (Langage de programmation) | |
| 650 | 7 | |a Prolog (langage de programmation) |2 ram | |
| 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 | |
| 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=007755311&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007755311 | ||
Datensatz im Suchindex
| _version_ | 1804126044549021696 |
|---|---|
| adam_text | WILLIAM F. CLOCKSIN CLAUSE AND EFFECT PROLOG PROGRAMMING FOR THE WORKING
PROGRAMMER SPRINGER TABLE OF CONTENTS 1. GETTING STARTED 1 1.1 SYNTAX 2
1.2 PROGRAMS 6 1.3 UNIFICATION 7 1.4 EXECUTION MODEL 9 WORKSHEET 1:
PARTY PAIRS 12 WORKSHEET 2: DRINKING PAIRS 13 WORKSHEET 3: AFFORDABLE
JOURNEYS 14 WORKSHEET 4: ACYCLIC DIRECTED GRAPH 16 2. DATA STRUCTURES 17
2.1 SQUARE BRACKET NOTATION 19 WORKSHEET 5: MEMBER.: 20 2.2 ARITHMETIC
21 WORKSHEET 6: LENGTH OF A LIST 22 WORKSHEET 7: INNER PRODUCT 23
WORKSHEET 8: MAXIMUM OF A LIST 24 WORKSHEET 9: SEARCHING A CYCLIC GRAPH
25 3. MAPPING 27 WORKSHEET 10: FULL MAPS 30 WORKSHEET 11: MULTIPLE
CHOICES 31 WORKSHEET 12: PARTIAL MAPS 32 WORKSHEET 13: REMOVING
DUPLICATES 33 WORKSHEET 14: PARTIAL MAPS WITH A PARAMETER 34 WORKSHEET
15: MULTIPLE DISJOINT PARTIAL MAPS 35 WORKSHEET 16: MULTIPLE DISJOINT
PARTIAL MAPS 36 WORKSHEET 17: FULL MAPS WITH STATE 37 WORKSHEET 18:
SEQUENTIAL MAPS WITH STATE 38 WORKSHEET 19: SCATTERED MAPS WITH STATE 39
VIII TABLE OF CONTENTS 4. CHOICE AND COMMITMENT 41 4.1 THE CUT 41 4.2 A
DISJOINT PARTIAL MAP WITH CUT 43 WORKSHEET 20: MULTIPLE CHOICES WITH CUT
46 WORKSHEET 22: ORDERED SEARCH TREES 47 WORKSHEET 23: FREQUENCY
DISTRIBUTION 49 4.3 TAMING CUT 50 4.4 CUT AND NEGATION-AS-FAILURE 50 4.5
NEGATION-AS-FAILURE CAN BE MISLEADING 51 WORKSHEET 24:
NEGATION-AS-FAILURE 53 5. DIFFERENCE STRUCTURES 55 WORKSHEET 25:
CONCATENATING LISTS 56 WORKSHEET 26: ROTATIONS OF A LIST 57 WORKSHEET
27: LINEARISING 58 5.1 DIFFERENCE LISTS 59 WORKSHEET 28: LINEARISING
EFFICIENTLY 62 WORKSHEET 29: LINEARISING TREES 63 WORKSHEET 30:
DIFFERENCE STRUCTURES 64 WORKSHEET 31: ROTATION REVISITED 65 WORKSHEET
32: MAX TREE 66 5.2 SOLUTION TO MAX TREE 67 6. CASE STUDY: TERM
REWRITING 69 6.1 SYMBOLIC DIFFERENTIATION 69 6.2 MATRIX PRODUCTS BY
SYMBOLIC ALGEBRA 70 6.3 THE SIMPLIFIER 72 7. CASE STUDY: MANIPULATION OF
COMBINATIONAL CIRCUITS 75 7.1 REPRESENTING CIRCUITS 75 7.2 SIMULATION OF
CIRCUITS.. 79 7.3 SUMS AND PRODUCTS 79 7.4 SIMPLIFYING SOP EXPRESSIONS
82 7.5 ALTERNATIVE REPRESENTATION 83 TABLE OF CONTENTS IX 8. CASE STUDY:
CLOCKED SEQUENTIAL CIRCUITS 85 8.1 DIVIDE-BY-TWO PULSE DIVIDER 86 8.2
SEQUENTIAL PARITY CHECKER 86 8.3 FOUR-STAGE SHIFT REGISTER 87 8.4 GRAY
CODE COUNTER 89 8.5 SPECIFICATION OF CASCADED COMPONENTS 90 9. CASE
STUDY: A COMPILER FORTHREE MODEL COMPUTERS 93 9.1 THE REGISTER MACHINE
97 9.2 THE SINGLE-ACCUMULATOR MACHINE 102 9.3 THE STACK MACHINE 107 9.4
OPTIMISATION: PREPROCESSING THE SYNTAX TREE 110 9.5 PEEPHOLE
OPTIMISATION 113 10. CASE STUDY: THE FAST FOURIER TRANSFORM IN PROLOG
115 10.1 INTRODUCTION 115 10.2 NOTATION FOR POLYNOMIALS 116 10.3 THE DFT
117 10.4 EXAMPLE: 8-POINT DFT 117 10.5 NAIVE IMPLEMENTATION OF THE DFT
119 10.6 FROM DFT TO FFT 120 10.7 MERGING COMMON SUBEXPRESSIONS 121 10.8
THE GRAPH GENERATOR 123 10.9 EXAMPLE RUN: 8-POINT FFT 124 10.10
BIBLIOGRAPHIC NOTES 126 11. CASE STUDY: HIGHER-ORDER FUNCTIONAL
PROGRAMMING 127 11.1 INTRODUCTION 127 11.2 A NOTATION FOR FUNCTIONS 129
11.3 THE EVALUATOR 131 11.4 USING HIGHER-ORDER FUNCTIONS 136 11.5
DISCUSSION 138 11.6 BIBLIOGRAPHIC NOTES 139 INDEX 141
|
| any_adam_object | 1 |
| author | Clocksin, William F. 1955- |
| author_GND | (DE-588)115525084 |
| author_facet | Clocksin, William F. 1955- |
| author_role | aut |
| author_sort | Clocksin, William F. 1955- |
| author_variant | w f c wf wfc |
| building | Verbundindex |
| bvnumber | BV011523884 |
| 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 | ST 250 |
| ctrlnum | (OCoLC)845497741 (DE-599)BVBBV011523884 |
| 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 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01584nam a2200409 c 4500</leader><controlfield tag="001">BV011523884</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120829 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970901s1997 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">950943771</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540629718</subfield><subfield code="9">3-540-62971-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845497741</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011523884</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">ger</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-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-83</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">21</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="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">Clause and effect</subfield><subfield code="b">Prolog programming for the working programmer</subfield><subfield code="c">William F. Clocksin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 143 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">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="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="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=007755311&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-007755311</subfield></datafield></record></collection> |
| id | DE-604.BV011523884 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:11:12Z |
| institution | BVB |
| isbn | 3540629718 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007755311 |
| oclc_num | 845497741 |
| open_access_boolean | |
| owner | DE-739 DE-20 DE-473 DE-BY-UBG DE-526 DE-83 DE-11 DE-188 |
| owner_facet | DE-739 DE-20 DE-473 DE-BY-UBG DE-526 DE-83 DE-11 DE-188 |
| physical | IX, 143 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer |
| record_format | marc |
| spelling | Clocksin, William F. 1955- Verfasser (DE-588)115525084 aut Clause and effect Prolog programming for the working programmer William F. Clocksin Berlin [u.a.] Springer 1997 IX, 143 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier PROLOG inriac Prolog (Langage de programmation) Prolog (langage de programmation) ram Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf PROLOG Programmiersprache (DE-588)4047464-1 s DE-604 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007755311&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Clocksin, William F. 1955- Clause and effect Prolog programming for the working programmer PROLOG inriac Prolog (Langage de programmation) Prolog (langage de programmation) ram Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| subject_GND | (DE-588)4047464-1 |
| title | Clause and effect Prolog programming for the working programmer |
| title_auth | Clause and effect Prolog programming for the working programmer |
| title_exact_search | Clause and effect Prolog programming for the working programmer |
| title_full | Clause and effect Prolog programming for the working programmer William F. Clocksin |
| title_fullStr | Clause and effect Prolog programming for the working programmer William F. Clocksin |
| title_full_unstemmed | Clause and effect Prolog programming for the working programmer William F. Clocksin |
| title_short | Clause and effect |
| title_sort | clause and effect prolog programming for the working programmer |
| title_sub | Prolog programming for the working programmer |
| topic | PROLOG inriac Prolog (Langage de programmation) Prolog (langage de programmation) ram Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| topic_facet | PROLOG Prolog (Langage de programmation) 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=007755311&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT clocksinwilliamf clauseandeffectprologprogrammingfortheworkingprogrammer |