Principles of logic and logic programming:
Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical comp...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam New York
Elsevier
1996
|
| Series: | Studies in computer science and artificial intelligence
13 |
| Subjects: | |
| Online Access: | FLA01 Volltext |
| Summary: | Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first arithmetical computation programs, and the first programs created to answer elementary questions and prove simple theorems, were written simultaneously. The basic steps towards a general method based on Logic, were accomplished in 1965 by Robinson and later by Kowalski and Colmerauer who made use of Logic directly as a Logic Programming language. Each chapter includes solved as well as unsolved exercises provided to help the reader assimilate the corresponding topics. The solved exercises demonstrate how to work methodically, whereas the unsolved exercises aim to stimulate the reader's personal initiative. The contents of the book are self-contained; only an elementary knowledge of analysis is required. Thus, it can be used by students in every academic year, as simply reading material, or in the context of a course. It can also be used by those who utilize Logic Programming without having any particular theoretical background knowledge of Logic, or by those simply interested in Logic and its applications in Logic Programming |
| Item Description: | Includes bibliographical references (pages 311-317) and indexes |
| Physical Description: | 1 online resource (xiii, 329 pages) illustrations |
| ISBN: | 9780080539645 0080539645 9780444816443 0444816445 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046123526 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 190827s1996 |||| o||u| ||||||eng d | ||
| 020 | |a 9780080539645 |9 978-0-08-053964-5 | ||
| 020 | |a 0080539645 |9 0-08-053964-5 | ||
| 020 | |a 9780444816443 |9 978-0-444-81644-3 | ||
| 020 | |a 0444816445 |9 0-444-81644-5 | ||
| 035 | |a (ZDB-33-ESD)ocn162130783 | ||
| 035 | |a (OCoLC)162130783 | ||
| 035 | |a (DE-599)BVBBV046123526 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 005.13/1 |2 22 | |
| 100 | 1 | |a Metakides, George |d 1945- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Principles of logic and logic programming |c G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos |
| 264 | 1 | |a Amsterdam |a New York |b Elsevier |c 1996 | |
| 300 | |a 1 online resource (xiii, 329 pages) |b illustrations | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in computer science and artificial intelligence |v 13 | |
| 500 | |a Includes bibliographical references (pages 311-317) and indexes | ||
| 520 | |a Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first arithmetical computation programs, and the first programs created to answer elementary questions and prove simple theorems, were written simultaneously. The basic steps towards a general method based on Logic, were accomplished in 1965 by Robinson and later by Kowalski and Colmerauer who made use of Logic directly as a Logic Programming language. Each chapter includes solved as well as unsolved exercises provided to help the reader assimilate the corresponding topics. The solved exercises demonstrate how to work methodically, whereas the unsolved exercises aim to stimulate the reader's personal initiative. The contents of the book are self-contained; only an elementary knowledge of analysis is required. Thus, it can be used by students in every academic year, as simply reading material, or in the context of a course. It can also be used by those who utilize Logic Programming without having any particular theoretical background knowledge of Logic, or by those simply interested in Logic and its applications in Logic Programming | ||
| 650 | 4 | |a Programmation logique | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a COMPUTERS / Programming Languages / General |2 bisacsh | |
| 650 | 7 | |a Logic programming |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 689 | 3 | 0 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 3 | |8 4\p |5 DE-604 | |
| 700 | 1 | |a Nerode, Anil |d 1932- |e Sonstige |4 oth | |
| 700 | 1 | |a Sinachopoulos, A. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444816443 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031503979 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780444816443 |l FLA01 |p ZDB-33-ESD |q FLA_PDA_ESD |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804180440570920960 |
|---|---|
| any_adam_object | |
| author | Metakides, George 1945- |
| author_facet | Metakides, George 1945- |
| author_role | aut |
| author_sort | Metakides, George 1945- |
| author_variant | g m gm |
| building | Verbundindex |
| bvnumber | BV046123526 |
| collection | ZDB-33-ESD |
| ctrlnum | (ZDB-33-ESD)ocn162130783 (OCoLC)162130783 (DE-599)BVBBV046123526 |
| dewey-full | 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 |
| dewey-search | 005.13/1 |
| dewey-sort | 15.13 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04287nmm a2200685zcb4500</leader><controlfield tag="001">BV046123526</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">190827s1996 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080539645</subfield><subfield code="9">978-0-08-053964-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080539645</subfield><subfield code="9">0-08-053964-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444816443</subfield><subfield code="9">978-0-444-81644-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444816445</subfield><subfield code="9">0-444-81644-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn162130783</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162130783</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046123526</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Metakides, George</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Principles of logic and logic programming</subfield><subfield code="c">G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="a">New York</subfield><subfield code="b">Elsevier</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiii, 329 pages)</subfield><subfield code="b">illustrations</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="490" ind1="0" ind2=" "><subfield code="a">Studies in computer science and artificial intelligence</subfield><subfield code="v">13</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 311-317) and indexes</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first arithmetical computation programs, and the first programs created to answer elementary questions and prove simple theorems, were written simultaneously. The basic steps towards a general method based on Logic, were accomplished in 1965 by Robinson and later by Kowalski and Colmerauer who made use of Logic directly as a Logic Programming language. Each chapter includes solved as well as unsolved exercises provided to help the reader assimilate the corresponding topics. The solved exercises demonstrate how to work methodically, whereas the unsolved exercises aim to stimulate the reader's personal initiative. The contents of the book are self-contained; only an elementary knowledge of analysis is required. Thus, it can be used by students in every academic year, as simply reading material, or in the context of a course. It can also be used by those who utilize Logic Programming without having any particular theoretical background knowledge of Logic, or by those simply interested in Logic and its applications in Logic Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Programming Languages / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic programming</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logisch programmeren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nerode, Anil</subfield><subfield code="d">1932-</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sinachopoulos, A.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444816443</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-33-ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031503979</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780444816443</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FLA_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV046123526 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T08:35:48Z |
| institution | BVB |
| isbn | 9780080539645 0080539645 9780444816443 0444816445 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031503979 |
| oclc_num | 162130783 |
| open_access_boolean | |
| physical | 1 online resource (xiii, 329 pages) illustrations |
| psigel | ZDB-33-ESD ZDB-33-ESD FLA_PDA_ESD |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Studies in computer science and artificial intelligence |
| spelling | Metakides, George 1945- Verfasser aut Principles of logic and logic programming G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos Amsterdam New York Elsevier 1996 1 online resource (xiii, 329 pages) illustrations txt rdacontent c rdamedia cr rdacarrier Studies in computer science and artificial intelligence 13 Includes bibliographical references (pages 311-317) and indexes Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first arithmetical computation programs, and the first programs created to answer elementary questions and prove simple theorems, were written simultaneously. The basic steps towards a general method based on Logic, were accomplished in 1965 by Robinson and later by Kowalski and Colmerauer who made use of Logic directly as a Logic Programming language. Each chapter includes solved as well as unsolved exercises provided to help the reader assimilate the corresponding topics. The solved exercises demonstrate how to work methodically, whereas the unsolved exercises aim to stimulate the reader's personal initiative. The contents of the book are self-contained; only an elementary knowledge of analysis is required. Thus, it can be used by students in every academic year, as simply reading material, or in the context of a course. It can also be used by those who utilize Logic Programming without having any particular theoretical background knowledge of Logic, or by those simply interested in Logic and its applications in Logic Programming Programmation logique Logique symbolique et mathématique COMPUTERS / Programming Languages / General bisacsh Logic programming fast Logic, Symbolic and mathematical fast Logisch programmeren gtt Logic programming Logic, Symbolic and mathematical Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Aussagenlogik (DE-588)4136098-9 gnd rswk-swf PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf Aussagenlogik (DE-588)4136098-9 s 1\p DE-604 PROLOG Programmiersprache (DE-588)4047464-1 s 2\p DE-604 Logische Programmierung (DE-588)4195096-3 s 3\p DE-604 Prädikatenlogik (DE-588)4046974-8 s 4\p DE-604 Nerode, Anil 1932- Sonstige oth Sinachopoulos, A. Sonstige oth http://www.sciencedirect.com/science/book/9780444816443 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Metakides, George 1945- Principles of logic and logic programming Programmation logique Logique symbolique et mathématique COMPUTERS / Programming Languages / General bisacsh Logic programming fast Logic, Symbolic and mathematical fast Logisch programmeren gtt Logic programming Logic, Symbolic and mathematical Prädikatenlogik (DE-588)4046974-8 gnd Logische Programmierung (DE-588)4195096-3 gnd Aussagenlogik (DE-588)4136098-9 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| subject_GND | (DE-588)4046974-8 (DE-588)4195096-3 (DE-588)4136098-9 (DE-588)4047464-1 |
| title | Principles of logic and logic programming |
| title_auth | Principles of logic and logic programming |
| title_exact_search | Principles of logic and logic programming |
| title_full | Principles of logic and logic programming G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos |
| title_fullStr | Principles of logic and logic programming G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos |
| title_full_unstemmed | Principles of logic and logic programming G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos |
| title_short | Principles of logic and logic programming |
| title_sort | principles of logic and logic programming |
| topic | Programmation logique Logique symbolique et mathématique COMPUTERS / Programming Languages / General bisacsh Logic programming fast Logic, Symbolic and mathematical fast Logisch programmeren gtt Logic programming Logic, Symbolic and mathematical Prädikatenlogik (DE-588)4046974-8 gnd Logische Programmierung (DE-588)4195096-3 gnd Aussagenlogik (DE-588)4136098-9 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| topic_facet | Programmation logique Logique symbolique et mathématique COMPUTERS / Programming Languages / General Logic programming Logic, Symbolic and mathematical Logisch programmeren Prädikatenlogik Logische Programmierung Aussagenlogik PROLOG Programmiersprache |
| url | http://www.sciencedirect.com/science/book/9780444816443 |
| work_keys_str_mv | AT metakidesgeorge principlesoflogicandlogicprogramming AT nerodeanil principlesoflogicandlogicprogramming AT sinachopoulosa principlesoflogicandlogicprogramming |