Programming in Prolog: Using the ISO Standard
Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2003
|
| Edition: | 5th ed. 2003 |
| Subjects: | |
| Online Access: | UBY01 UPA01 Volltext |
| Summary: | Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on general programming applications. Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be the basis for an important new generation of programming languages and systems for Artificial Intelligence. Since the previous edition of Programming in Prolog, the language has been standardised by the International Organization for Standardization (ISO) and this book has been updated accordingly. The authors have also introduced some new material, clarified some explanations, corrected a number of minor errors, and removed appendices about Prolog systems that are now obsolete |
| Physical Description: | 1 Online-Ressource (XIV, 300 p. 1 illus) |
| ISBN: | 9783642554810 |
| DOI: | 10.1007/978-3-642-55481-0 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047064648 | ||
| 003 | DE-604 | ||
| 005 | 20221004 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 9783642554810 |9 978-3-642-55481-0 | ||
| 024 | 7 | |a 10.1007/978-3-642-55481-0 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-3-642-55481-0 | ||
| 035 | |a (OCoLC)1227481959 | ||
| 035 | |a (DE-599)BVBBV047064648 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-739 | ||
| 082 | 0 | |a 005.13 |2 23 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 100 | 1 | |a Clocksin, William F. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Programming in Prolog |b Using the ISO Standard |c by William F. Clocksin, Christopher S. Mellish |
| 250 | |a 5th ed. 2003 | ||
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2003 | |
| 300 | |a 1 Online-Ressource (XIV, 300 p. 1 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on general programming applications. Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be the basis for an important new generation of programming languages and systems for Artificial Intelligence. Since the previous edition of Programming in Prolog, the language has been standardised by the International Organization for Standardization (ISO) and this book has been updated accordingly. The authors have also introduced some new material, clarified some explanations, corrected a number of minor errors, and removed appendices about Prolog systems that are now obsolete | ||
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Artificial intelligence | |
| 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. |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783540006787 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783642554827 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-55481-0 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-BAE |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032471760 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-642-55481-0 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-55481-0 |l UPA01 |p ZDB-2-BAE |q UPA_Einzelkauf_2022 |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804182062952873984 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Clocksin, William F. Mellish, Christopher S. |
| author_facet | Clocksin, William F. Mellish, Christopher S. |
| author_role | aut aut |
| author_sort | Clocksin, William F. |
| author_variant | w f c wf wfc c s m cs csm |
| building | Verbundindex |
| bvnumber | BV047064648 |
| classification_rvk | ST 250 |
| collection | ZDB-2-BAE ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-3-642-55481-0 (OCoLC)1227481959 (DE-599)BVBBV047064648 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-3-642-55481-0 |
| edition | 5th ed. 2003 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03009nmm a2200529zc 4500</leader><controlfield tag="001">BV047064648</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221004 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642554810</subfield><subfield code="9">978-3-642-55481-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-55481-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-3-642-55481-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227481959</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064648</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">23</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="e">Verfasser</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">by William F. Clocksin, Christopher S. Mellish</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">5th ed. 2003</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 300 p. 1 illus)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on general programming applications. Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be the basis for an important new generation of programming languages and systems for Artificial Intelligence. Since the previous edition of Programming in Prolog, the language has been standardised by the International Organization for Standardization (ISO) and this book has been updated accordingly. The authors have also introduced some new material, clarified some explanations, corrected a number of minor errors, and removed appendices about Prolog systems that are now obsolete</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</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="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783540006787</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783642554827</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-55481-0</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-BAE</subfield><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471760</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-55481-0</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-55481-0</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-BAE</subfield><subfield code="q">UPA_Einzelkauf_2022</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047064648 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:23Z |
| indexdate | 2024-07-10T09:01:35Z |
| institution | BVB |
| isbn | 9783642554810 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471760 |
| oclc_num | 1227481959 |
| open_access_boolean | |
| owner | DE-706 DE-739 |
| owner_facet | DE-706 DE-739 |
| physical | 1 Online-Ressource (XIV, 300 p. 1 illus) |
| psigel | ZDB-2-BAE ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-BAE UPA_Einzelkauf_2022 |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| spelling | Clocksin, William F. Verfasser aut Programming in Prolog Using the ISO Standard by William F. Clocksin, Christopher S. Mellish 5th ed. 2003 Berlin, Heidelberg Springer Berlin Heidelberg 2003 1 Online-Ressource (XIV, 300 p. 1 illus) txt rdacontent c rdamedia cr rdacarrier Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on general programming applications. Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be the basis for an important new generation of programming languages and systems for Artificial Intelligence. Since the previous edition of Programming in Prolog, the language has been standardised by the International Organization for Standardization (ISO) and this book has been updated accordingly. The authors have also introduced some new material, clarified some explanations, corrected a number of minor errors, and removed appendices about Prolog systems that are now obsolete Programming Languages, Compilers, Interpreters Programming Techniques Artificial Intelligence Programming languages (Electronic computers) Computer programming Artificial intelligence PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf PROLOG Programmiersprache (DE-588)4047464-1 s DE-604 Mellish, Christopher S. aut Erscheint auch als Druck-Ausgabe 9783540006787 Erscheint auch als Druck-Ausgabe 9783642554827 https://doi.org/10.1007/978-3-642-55481-0 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Clocksin, William F. Mellish, Christopher S. Programming in Prolog Using the ISO Standard Programming Languages, Compilers, Interpreters Programming Techniques Artificial Intelligence Programming languages (Electronic computers) Computer programming Artificial intelligence 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_exact_search_txtP | Programming in Prolog Using the ISO Standard |
| title_full | Programming in Prolog Using the ISO Standard by William F. Clocksin, Christopher S. Mellish |
| title_fullStr | Programming in Prolog Using the ISO Standard by William F. Clocksin, Christopher S. Mellish |
| title_full_unstemmed | Programming in Prolog Using the ISO Standard by William F. Clocksin, Christopher S. Mellish |
| title_short | Programming in Prolog |
| title_sort | programming in prolog using the iso standard |
| title_sub | Using the ISO Standard |
| topic | Programming Languages, Compilers, Interpreters Programming Techniques Artificial Intelligence Programming languages (Electronic computers) Computer programming Artificial intelligence PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| topic_facet | Programming Languages, Compilers, Interpreters Programming Techniques Artificial Intelligence Programming languages (Electronic computers) Computer programming Artificial intelligence PROLOG Programmiersprache |
| url | https://doi.org/10.1007/978-3-642-55481-0 |
| work_keys_str_mv | AT clocksinwilliamf programminginprologusingtheisostandard AT mellishchristophers programminginprologusingtheisostandard |