Prolog by example: how to learn, teach and use it
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1988
|
| Schriftenreihe: | Symbolic computation, artificial intelligence
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 382 S. graph. Darst. |
| ISBN: | 3540183132 0387183132 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002068326 | ||
| 003 | DE-604 | ||
| 005 | 20111108 | ||
| 007 | t | ||
| 008 | 890928s1988 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 881256013 |2 DE-101 | |
| 020 | |a 3540183132 |9 3-540-18313-2 | ||
| 020 | |a 0387183132 |9 0-387-18313-2 | ||
| 035 | |a (OCoLC)17105077 | ||
| 035 | |a (DE-599)BVBBV002068326 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-91G |a DE-384 |a DE-473 |a DE-739 |a DE-824 |a DE-29T |a DE-19 |a DE-706 |a DE-521 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.73.P76C64 1988 | |
| 082 | 0 | |a 006.3 19 | |
| 082 | 0 | |a 006.3 |2 19 | |
| 084 | |a ES 920 |0 (DE-625)27929: |2 rvk | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a DAT 366f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 100 | 1 | |a Coelho, Helder |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Prolog by example |b how to learn, teach and use it |c Helder Coelho ; José C. Cotta |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1988 | |
| 300 | |a X, 382 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Symbolic computation, artificial intelligence | |
| 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 |
| 655 | 7 | |0 (DE-588)4144384-6 |a Beispielsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Cotta, José C. |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=001352742&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001352742 | ||
Datensatz im Suchindex
| _version_ | 1804116518664929280 |
|---|---|
| adam_text | TABLE OF CONTENTS
PROLOG(UE) VII
PREFACE IX
CHAPTER 1 TEACHING PROLOG 1
CHAPTER 2 ONE OR TWO THINGS ABOUT PROLOG 11
CHAPTER 3 USING PROLOG 21
CHAPTER 4 PROVING WITH PROLOG 71
CHAPTER 5 DOING ARITHMETIC WITH PROLOG 99
CHAPTER 6 DOING ALGEBRA WITH PROLOG 119
CHAPTER 7 PLAYING WITH PROLOG 123
CHAPTER 8 SEARCHING WITH PROLOG 147
CHAPTER 9 LEARNING WITH PROLOG 161
CHAPTER 10 MODELING WITH PROLOG 173
CHAPTER 11 DESIGNING WITH PROLOG 189
CHAPTER 12 DRAWING WITH PROLOG 195
CHAPTER 13 PLANNING WITH PROLOG 219
CHAPTER 14 SEEING WITH PROLOG 243
CHAPTER 15 ENGINEERING GRAMMARS WITH PROLOG 247
CHAPTER 16 CONSTRUCTING PERSONAL DATABASES WITH PROLOG 281
CHAPTER 17 TEXT FORMATTING WITH PROLOG 305
HTTP://D-NB.INFO/881256013
VI TABLE OF CONTENTS
CHAPTER 18 MANAGEMENT WITH PROLOG 315
CHAPTER 19 BUILDING UP WITH PROLOG 333
ACKNOWLEDGMENTS 364
APPENDIX 1 PROLOG IMPLEMENTATIONS 365
APPENDIX 2 COMMERCIAL PRODUCTS 371
APPENDIX 3 SELECTION OF SOME HISTORICAL PROLOG APPLICATIONS 373
REFERENCES 376
|
| any_adam_object | 1 |
| author | Coelho, Helder Cotta, José C. |
| author_facet | Coelho, Helder Cotta, José C. |
| author_role | aut aut |
| author_sort | Coelho, Helder |
| author_variant | h c hc j c c jc jcc |
| building | Verbundindex |
| bvnumber | BV002068326 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.73.P76C64 1988 |
| callnumber-search | QA76.73.P76C64 1988 |
| callnumber-sort | QA 276.73 P76 C64 41988 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ES 920 ST 250 |
| classification_tum | DAT 366f |
| ctrlnum | (OCoLC)17105077 (DE-599)BVBBV002068326 |
| dewey-full | 006.319 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 19 006.3 |
| dewey-search | 006.3 19 006.3 |
| dewey-sort | 16.3 219 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Sprachwissenschaft Literaturwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01860nam a2200493 c 4500</leader><controlfield tag="001">BV002068326</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111108 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1988 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">881256013</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540183132</subfield><subfield code="9">3-540-18313-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387183132</subfield><subfield code="9">0-387-18313-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)17105077</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002068326</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</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.P76C64 1988</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3 19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">19</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 366f</subfield><subfield code="2">stub</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">Coelho, Helder</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Prolog by example</subfield><subfield code="b">how to learn, teach and use it</subfield><subfield code="c">Helder Coelho ; José C. Cotta</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 382 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="490" ind1="0" ind2=" "><subfield code="a">Symbolic computation, artificial intelligence</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4144384-6</subfield><subfield code="a">Beispielsammlung</subfield><subfield code="2">gnd-content</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">Cotta, José C.</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=001352742&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-001352742</subfield></datafield></record></collection> |
| genre | (DE-588)4144384-6 Beispielsammlung gnd-content |
| genre_facet | Beispielsammlung |
| id | DE-604.BV002068326 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:39:47Z |
| institution | BVB |
| isbn | 3540183132 0387183132 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001352742 |
| oclc_num | 17105077 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-739 DE-824 DE-29T DE-19 DE-BY-UBM DE-706 DE-521 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-739 DE-824 DE-29T DE-19 DE-BY-UBM DE-706 DE-521 DE-11 DE-188 |
| physical | X, 382 S. graph. Darst. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Springer |
| record_format | marc |
| series2 | Symbolic computation, artificial intelligence |
| spelling | Coelho, Helder Verfasser aut Prolog by example how to learn, teach and use it Helder Coelho ; José C. Cotta Berlin u.a. Springer 1988 X, 382 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Symbolic computation, artificial intelligence PROLOG gtt Prolog (Langage de programmation) Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf (DE-588)4144384-6 Beispielsammlung gnd-content PROLOG Programmiersprache (DE-588)4047464-1 s DE-604 Cotta, José C. Verfasser aut DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001352742&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Coelho, Helder Cotta, José C. Prolog by example how to learn, teach and use it PROLOG gtt Prolog (Langage de programmation) Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| subject_GND | (DE-588)4047464-1 (DE-588)4144384-6 |
| title | Prolog by example how to learn, teach and use it |
| title_auth | Prolog by example how to learn, teach and use it |
| title_exact_search | Prolog by example how to learn, teach and use it |
| title_full | Prolog by example how to learn, teach and use it Helder Coelho ; José C. Cotta |
| title_fullStr | Prolog by example how to learn, teach and use it Helder Coelho ; José C. Cotta |
| title_full_unstemmed | Prolog by example how to learn, teach and use it Helder Coelho ; José C. Cotta |
| title_short | Prolog by example |
| title_sort | prolog by example how to learn teach and use it |
| title_sub | how to learn, teach and use it |
| 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 Beispielsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001352742&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT coelhohelder prologbyexamplehowtolearnteachanduseit AT cottajosec prologbyexamplehowtolearnteachanduseit |