The semantics of logic programming as a programming language:
Abstract: "The paper is a general overview of our approach to the semantics of logic programs whose aim is finding notions of models which really capture the operational semantics, and are therefore useful for defining program equivalences and for semantics-based program analysis. The approach...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Pisa
1991
|
| Series: | Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report
1991,10 |
| Subjects: | |
| Summary: | Abstract: "The paper is a general overview of our approach to the semantics of logic programs whose aim is finding notions of models which really capture the operational semantics, and are therefore useful for defining program equivalences and for semantics-based program analysis. The approach leads to the introduction of extended interpretations which are more expressive than Herbrand interpretations. The semantics in terms of extended interpretations can be obtained as a result of both an operational and a fixpoint construction. It can also be characterized from the model-theoretic viewpoint, by defining a set of extended models which contains standard Herbrand models The original construction for positive programs is shown to be applicable to other classes of logic programs, such as constraint logic programs, open programs, concurrent constraint programs and general programs. |
| Physical Description: | 22 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010844241 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960711s1991 |||| 00||| engod | ||
| 035 | |a (OCoLC)27332732 | ||
| 035 | |a (DE-599)BVBBV010844241 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Gabbrielli, Maurizio |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The semantics of logic programming as a programming language |c M. Gabbrielli ; G. Levi |
| 264 | 1 | |a Pisa |c 1991 | |
| 300 | |a 22 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report |v 1991,10 | |
| 520 | 3 | |a Abstract: "The paper is a general overview of our approach to the semantics of logic programs whose aim is finding notions of models which really capture the operational semantics, and are therefore useful for defining program equivalences and for semantics-based program analysis. The approach leads to the introduction of extended interpretations which are more expressive than Herbrand interpretations. The semantics in terms of extended interpretations can be obtained as a result of both an operational and a fixpoint construction. It can also be characterized from the model-theoretic viewpoint, by defining a set of extended models which contains standard Herbrand models | |
| 520 | 3 | |a The original construction for positive programs is shown to be applicable to other classes of logic programs, such as constraint logic programs, open programs, concurrent constraint programs and general programs. | |
| 650 | 4 | |a Logic programming | |
| 700 | 1 | |a Levi, Giorgio |d 1942- |e Verfasser |0 (DE-588)1077828853 |4 aut | |
| 810 | 2 | |a Dipartimento di Informatica: Technical report |t Università degli Studi <Pisa> |v 1991,10 |w (DE-604)BV010841375 |9 1991,10 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007249375 | ||
Record in the Search Index
| _version_ | 1804125332215693312 |
|---|---|
| any_adam_object | |
| author | Gabbrielli, Maurizio Levi, Giorgio 1942- |
| author_GND | (DE-588)1077828853 |
| author_facet | Gabbrielli, Maurizio Levi, Giorgio 1942- |
| author_role | aut aut |
| author_sort | Gabbrielli, Maurizio |
| author_variant | m g mg g l gl |
| building | Verbundindex |
| bvnumber | BV010844241 |
| ctrlnum | (OCoLC)27332732 (DE-599)BVBBV010844241 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01935nam a2200313 cb4500</leader><controlfield tag="001">BV010844241</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960711s1991 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27332732</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010844241</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gabbrielli, Maurizio</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The semantics of logic programming as a programming language</subfield><subfield code="c">M. Gabbrielli ; G. Levi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Pisa</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">22 S.</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="1" ind2=" "><subfield code="a">Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report</subfield><subfield code="v">1991,10</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The paper is a general overview of our approach to the semantics of logic programs whose aim is finding notions of models which really capture the operational semantics, and are therefore useful for defining program equivalences and for semantics-based program analysis. The approach leads to the introduction of extended interpretations which are more expressive than Herbrand interpretations. The semantics in terms of extended interpretations can be obtained as a result of both an operational and a fixpoint construction. It can also be characterized from the model-theoretic viewpoint, by defining a set of extended models which contains standard Herbrand models</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">The original construction for positive programs is shown to be applicable to other classes of logic programs, such as constraint logic programs, open programs, concurrent constraint programs and general programs.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Levi, Giorgio</subfield><subfield code="d">1942-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1077828853</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Dipartimento di Informatica: Technical report</subfield><subfield code="t">Università degli Studi <Pisa></subfield><subfield code="v">1991,10</subfield><subfield code="w">(DE-604)BV010841375</subfield><subfield code="9">1991,10</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007249375</subfield></datafield></record></collection> |
| id | DE-604.BV010844241 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:59:52Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007249375 |
| oclc_num | 27332732 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 22 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series2 | Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report |
| spelling | Gabbrielli, Maurizio Verfasser aut The semantics of logic programming as a programming language M. Gabbrielli ; G. Levi Pisa 1991 22 S. txt rdacontent n rdamedia nc rdacarrier Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report 1991,10 Abstract: "The paper is a general overview of our approach to the semantics of logic programs whose aim is finding notions of models which really capture the operational semantics, and are therefore useful for defining program equivalences and for semantics-based program analysis. The approach leads to the introduction of extended interpretations which are more expressive than Herbrand interpretations. The semantics in terms of extended interpretations can be obtained as a result of both an operational and a fixpoint construction. It can also be characterized from the model-theoretic viewpoint, by defining a set of extended models which contains standard Herbrand models The original construction for positive programs is shown to be applicable to other classes of logic programs, such as constraint logic programs, open programs, concurrent constraint programs and general programs. Logic programming Levi, Giorgio 1942- Verfasser (DE-588)1077828853 aut Dipartimento di Informatica: Technical report Università degli Studi <Pisa> 1991,10 (DE-604)BV010841375 1991,10 |
| spellingShingle | Gabbrielli, Maurizio Levi, Giorgio 1942- The semantics of logic programming as a programming language Logic programming |
| title | The semantics of logic programming as a programming language |
| title_auth | The semantics of logic programming as a programming language |
| title_exact_search | The semantics of logic programming as a programming language |
| title_full | The semantics of logic programming as a programming language M. Gabbrielli ; G. Levi |
| title_fullStr | The semantics of logic programming as a programming language M. Gabbrielli ; G. Levi |
| title_full_unstemmed | The semantics of logic programming as a programming language M. Gabbrielli ; G. Levi |
| title_short | The semantics of logic programming as a programming language |
| title_sort | the semantics of logic programming as a programming language |
| topic | Logic programming |
| topic_facet | Logic programming |
| volume_link | (DE-604)BV010841375 |
| work_keys_str_mv | AT gabbriellimaurizio thesemanticsoflogicprogrammingasaprogramminglanguage AT levigiorgio thesemanticsoflogicprogrammingasaprogramminglanguage |