The semantics of hierarchical constraint logic programming:
Abstract: "Hierarchical Constraint Logic Programming (HCLP) is an extension of Constraint Logic Programming (CLP) that allows a programmer to specify defaults and preferences, as well as required constraints. HCLP defines a family of languages that are parameterized both by the domain over whic...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Seattle, Wash.
1991
|
| Series: | University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report
91,2,4 |
| Subjects: | |
| Summary: | Abstract: "Hierarchical Constraint Logic Programming (HCLP) is an extension of Constraint Logic Programming (CLP) that allows a programmer to specify defaults and preferences, as well as required constraints. HCLP defines a family of languages that are parameterized both by the domain over which the constraints are defined, and by the method, or comparator, that is used to define solutions to the non-required constraints. In previous work, we gave a formal operational semantics for the class of HCLP languages and specified a logical semantics for those HCLP programs whose non-required constraints were omitted In this paper, these results are extended to a description of the formal semantics of complete HCLP programs (i.e. those with required and non-required constraints). First, the operational semantics are reviewed. Then a proof-theory and a fixed-point characterization are given and shown to be equivalent to the operational one. |
| Physical Description: | 14 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008992807 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1991 |||| 00||| eng d | ||
| 035 | |a (OCoLC)27050712 | ||
| 035 | |a (DE-599)BVBBV008992807 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Wilson, Molly |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The semantics of hierarchical constraint logic programming |c Molly Wilson |
| 264 | 1 | |a Seattle, Wash. |c 1991 | |
| 300 | |a 14 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report |v 91,2,4 | |
| 520 | 3 | |a Abstract: "Hierarchical Constraint Logic Programming (HCLP) is an extension of Constraint Logic Programming (CLP) that allows a programmer to specify defaults and preferences, as well as required constraints. HCLP defines a family of languages that are parameterized both by the domain over which the constraints are defined, and by the method, or comparator, that is used to define solutions to the non-required constraints. In previous work, we gave a formal operational semantics for the class of HCLP languages and specified a logical semantics for those HCLP programs whose non-required constraints were omitted | |
| 520 | 3 | |a In this paper, these results are extended to a description of the formal semantics of complete HCLP programs (i.e. those with required and non-required constraints). First, the operational semantics are reviewed. Then a proof-theory and a fixed-point characterization are given and shown to be equivalent to the operational one. | |
| 650 | 4 | |a Logic programming | |
| 810 | 2 | |a Department of Computer Science: Technical report |t University of Washington <Seattle, Wash.> |v 91,2,4 |w (DE-604)BV008930431 |9 91,2,4 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005941725 | ||
Record in the Search Index
| _version_ | 1804123335327481856 |
|---|---|
| any_adam_object | |
| author | Wilson, Molly |
| author_facet | Wilson, Molly |
| author_role | aut |
| author_sort | Wilson, Molly |
| author_variant | m w mw |
| building | Verbundindex |
| bvnumber | BV008992807 |
| ctrlnum | (OCoLC)27050712 (DE-599)BVBBV008992807 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01931nam a2200301 cb4500</leader><controlfield tag="001">BV008992807</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1991 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27050712</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008992807</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-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wilson, Molly</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 hierarchical constraint logic programming</subfield><subfield code="c">Molly Wilson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Seattle, Wash.</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">14 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">University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report</subfield><subfield code="v">91,2,4</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Hierarchical Constraint Logic Programming (HCLP) is an extension of Constraint Logic Programming (CLP) that allows a programmer to specify defaults and preferences, as well as required constraints. HCLP defines a family of languages that are parameterized both by the domain over which the constraints are defined, and by the method, or comparator, that is used to define solutions to the non-required constraints. In previous work, we gave a formal operational semantics for the class of HCLP languages and specified a logical semantics for those HCLP programs whose non-required constraints were omitted</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">In this paper, these results are extended to a description of the formal semantics of complete HCLP programs (i.e. those with required and non-required constraints). First, the operational semantics are reviewed. Then a proof-theory and a fixed-point characterization are given and shown to be equivalent to the operational one.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Technical report</subfield><subfield code="t">University of Washington <Seattle, Wash.></subfield><subfield code="v">91,2,4</subfield><subfield code="w">(DE-604)BV008930431</subfield><subfield code="9">91,2,4</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005941725</subfield></datafield></record></collection> |
| id | DE-604.BV008992807 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:08Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005941725 |
| oclc_num | 27050712 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 14 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series2 | University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report |
| spelling | Wilson, Molly Verfasser aut The semantics of hierarchical constraint logic programming Molly Wilson Seattle, Wash. 1991 14 S. txt rdacontent n rdamedia nc rdacarrier University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report 91,2,4 Abstract: "Hierarchical Constraint Logic Programming (HCLP) is an extension of Constraint Logic Programming (CLP) that allows a programmer to specify defaults and preferences, as well as required constraints. HCLP defines a family of languages that are parameterized both by the domain over which the constraints are defined, and by the method, or comparator, that is used to define solutions to the non-required constraints. In previous work, we gave a formal operational semantics for the class of HCLP languages and specified a logical semantics for those HCLP programs whose non-required constraints were omitted In this paper, these results are extended to a description of the formal semantics of complete HCLP programs (i.e. those with required and non-required constraints). First, the operational semantics are reviewed. Then a proof-theory and a fixed-point characterization are given and shown to be equivalent to the operational one. Logic programming Department of Computer Science: Technical report University of Washington <Seattle, Wash.> 91,2,4 (DE-604)BV008930431 91,2,4 |
| spellingShingle | Wilson, Molly The semantics of hierarchical constraint logic programming Logic programming |
| title | The semantics of hierarchical constraint logic programming |
| title_auth | The semantics of hierarchical constraint logic programming |
| title_exact_search | The semantics of hierarchical constraint logic programming |
| title_full | The semantics of hierarchical constraint logic programming Molly Wilson |
| title_fullStr | The semantics of hierarchical constraint logic programming Molly Wilson |
| title_full_unstemmed | The semantics of hierarchical constraint logic programming Molly Wilson |
| title_short | The semantics of hierarchical constraint logic programming |
| title_sort | the semantics of hierarchical constraint logic programming |
| topic | Logic programming |
| topic_facet | Logic programming |
| volume_link | (DE-604)BV008930431 |
| work_keys_str_mv | AT wilsonmolly thesemanticsofhierarchicalconstraintlogicprogramming |