A grammatical view of logic programming:
This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.Within the field of logic programming there have been numerous attempts to transfor...
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Weitere beteiligte Personen: | |
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, Mass.
MIT Press
©1993
|
| Schriftenreihe: | Logic programming
|
| Links: | https://doi.org/10.7551/mitpress/3345.001.0001?locatt=mode:legacy |
| Zusammenfassung: | This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field. The authors' approach facilitates discussion of grammatical aspects of, and introduces new kinds of semantics for, definite programs. They survey relevant grammatical formalisms and provide a comprehensive introduction to the well-known attribute grammars and van Wijngaarden grammars. A formal comparison of definite programs to these grammars allows the authors to identify interesting grammatical concepts. The book also includes a presentation of verification methods for definite programs derived from verification methods for attribute grammars, and an analysis of the occur-check problem as an example of how the grammatical view of logic programming can be applied.ContentsPreliminaries Foundations Grammatical Extensions of Logic Programs Attribute Grammars Attribute Grammars and Logic Programming Proof Methods Study of Declarative Properties The Occur-check Problem |
| Umfang: | 1 Online-Ressource (xxxi, 454 Seiten) Illustrationen |
| ISBN: | 0262290847 9780262290845 |
Internformat
MARC
| LEADER | 00000cam a2200000Ka 4500 | ||
|---|---|---|---|
| 001 | ZDB-260-MPOB-3345 | ||
| 003 | MaCbMITP | ||
| 005 | 20190503073410.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130212s1993 maua ob 001 0 eng d | ||
| 020 | |a 0262290847 | ||
| 020 | |a 9780262290845 | ||
| 100 | 1 | |a Deransart, Pierre | |
| 245 | 1 | 2 | |a A grammatical view of logic programming |c Pierre Deransart and Jan Małuszyński |
| 264 | 1 | |a Cambridge, Mass. |b MIT Press |c ©1993 | |
| 300 | |a 1 Online-Ressource (xxxi, 454 Seiten) |b Illustrationen | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 490 | 1 | |a Logic programming | |
| 520 | |a This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field. The authors' approach facilitates discussion of grammatical aspects of, and introduces new kinds of semantics for, definite programs. They survey relevant grammatical formalisms and provide a comprehensive introduction to the well-known attribute grammars and van Wijngaarden grammars. A formal comparison of definite programs to these grammars allows the authors to identify interesting grammatical concepts. The book also includes a presentation of verification methods for definite programs derived from verification methods for attribute grammars, and an analysis of the occur-check problem as an example of how the grammatical view of logic programming can be applied.ContentsPreliminaries Foundations Grammatical Extensions of Logic Programs Attribute Grammars Attribute Grammars and Logic Programming Proof Methods Study of Declarative Properties The Occur-check Problem | ||
| 700 | 1 | |a Małuszyński, J. |d 1941- | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 0262041405 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780262041409 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-260-MPOB |q TUM_PDA_MPOB |3 MIT Press |u https://doi.org/10.7551/mitpress/3345.001.0001?locatt=mode:legacy |3 Volltext |
| 912 | |a ZDB-260-MPOB | ||
| 912 | |a ZDB-260-MPOB | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-260-MPOB-3345 |
|---|---|
| _version_ | 1821493840111992833 |
| adam_text | |
| any_adam_object | |
| author | Deransart, Pierre |
| author2 | Małuszyński, J. 1941- |
| author2_role | |
| author2_variant | j m jm |
| author_facet | Deransart, Pierre Małuszyński, J. 1941- |
| author_role | |
| author_sort | Deransart, Pierre |
| author_variant | p d pd |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-260-MPOB |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02340cam a2200289Ka 4500</leader><controlfield tag="001">ZDB-260-MPOB-3345</controlfield><controlfield tag="003">MaCbMITP</controlfield><controlfield tag="005">20190503073410.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">130212s1993 maua ob 001 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262290847</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262290845</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Deransart, Pierre</subfield></datafield><datafield tag="245" ind1="1" ind2="2"><subfield code="a">A grammatical view of logic programming</subfield><subfield code="c">Pierre Deransart and Jan Małuszyński</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">©1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxxi, 454 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Logic programming</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field. The authors' approach facilitates discussion of grammatical aspects of, and introduces new kinds of semantics for, definite programs. They survey relevant grammatical formalisms and provide a comprehensive introduction to the well-known attribute grammars and van Wijngaarden grammars. A formal comparison of definite programs to these grammars allows the authors to identify interesting grammatical concepts. The book also includes a presentation of verification methods for definite programs derived from verification methods for attribute grammars, and an analysis of the occur-check problem as an example of how the grammatical view of logic programming can be applied.ContentsPreliminaries Foundations Grammatical Extensions of Logic Programs Attribute Grammars Attribute Grammars and Logic Programming Proof Methods Study of Declarative Properties The Occur-check Problem</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Małuszyński, J.</subfield><subfield code="d">1941-</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">0262041405</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">9780262041409</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-260-MPOB</subfield><subfield code="q">TUM_PDA_MPOB</subfield><subfield code="3">MIT Press</subfield><subfield code="u">https://doi.org/10.7551/mitpress/3345.001.0001?locatt=mode:legacy</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-260-MPOB-3345 |
| illustrated | Illustrated |
| indexdate | 2025-01-17T11:04:52Z |
| institution | BVB |
| isbn | 0262290847 9780262290845 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xxxi, 454 Seiten) Illustrationen |
| psigel | ZDB-260-MPOB TUM_PDA_MPOB ZDB-260-MPOB |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Logic programming |
| spelling | Deransart, Pierre A grammatical view of logic programming Pierre Deransart and Jan Małuszyński Cambridge, Mass. MIT Press ©1993 1 Online-Ressource (xxxi, 454 Seiten) Illustrationen txt c cr Logic programming This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field. The authors' approach facilitates discussion of grammatical aspects of, and introduces new kinds of semantics for, definite programs. They survey relevant grammatical formalisms and provide a comprehensive introduction to the well-known attribute grammars and van Wijngaarden grammars. A formal comparison of definite programs to these grammars allows the authors to identify interesting grammatical concepts. The book also includes a presentation of verification methods for definite programs derived from verification methods for attribute grammars, and an analysis of the occur-check problem as an example of how the grammatical view of logic programming can be applied.ContentsPreliminaries Foundations Grammatical Extensions of Logic Programs Attribute Grammars Attribute Grammars and Logic Programming Proof Methods Study of Declarative Properties The Occur-check Problem Małuszyński, J. 1941- Erscheint auch als Druck-Ausgabe 0262041405 Erscheint auch als Druck-Ausgabe 9780262041409 |
| spellingShingle | Deransart, Pierre A grammatical view of logic programming |
| title | A grammatical view of logic programming |
| title_auth | A grammatical view of logic programming |
| title_exact_search | A grammatical view of logic programming |
| title_full | A grammatical view of logic programming Pierre Deransart and Jan Małuszyński |
| title_fullStr | A grammatical view of logic programming Pierre Deransart and Jan Małuszyński |
| title_full_unstemmed | A grammatical view of logic programming Pierre Deransart and Jan Małuszyński |
| title_short | A grammatical view of logic programming |
| title_sort | grammatical view of logic programming |
| work_keys_str_mv | AT deransartpierre agrammaticalviewoflogicprogramming AT małuszynskij agrammaticalviewoflogicprogramming AT deransartpierre grammaticalviewoflogicprogramming AT małuszynskij grammaticalviewoflogicprogramming |