Declarative programming in Prolog:
Abstract: "We try to assess to what extent declarative programming can be realized in Prolog and which aspects of correctness of Prolog programs can be dealt with by means of declarative interpretation. More specifically, we shall discuss termination of Prolog programs, partial correctness, abs...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1993
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
93,53 |
| Subjects: | |
| Summary: | Abstract: "We try to assess to what extent declarative programming can be realized in Prolog and which aspects of correctness of Prolog programs can be dealt with by means of declarative interpretation. More specifically, we shall discuss termination of Prolog programs, partial correctness, absence of errors and the safe use of negation." |
| Physical Description: | 21 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010176684 | ||
| 003 | DE-604 | ||
| 005 | 19960325 | ||
| 007 | t | ||
| 008 | 950510s1993 |||| 00||| engod | ||
| 035 | |a (OCoLC)31372906 | ||
| 035 | |a (DE-599)BVBBV010176684 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Apt, Krzysztof R. |d 1949- |e Verfasser |0 (DE-588)110139763 |4 aut | |
| 245 | 1 | 0 | |a Declarative programming in Prolog |c K. R. Apt |
| 264 | 1 | |a Amsterdam |c 1993 | |
| 300 | |a 21 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 93,53 | |
| 520 | 3 | |a Abstract: "We try to assess to what extent declarative programming can be realized in Prolog and which aspects of correctness of Prolog programs can be dealt with by means of declarative interpretation. More specifically, we shall discuss termination of Prolog programs, partial correctness, absence of errors and the safe use of negation." | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 93,53 |w (DE-604)BV008928356 |9 93,53 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006759341 | ||
Record in the Search Index
| _version_ | 1804124574264066048 |
|---|---|
| any_adam_object | |
| author | Apt, Krzysztof R. 1949- |
| author_GND | (DE-588)110139763 |
| author_facet | Apt, Krzysztof R. 1949- |
| author_role | aut |
| author_sort | Apt, Krzysztof R. 1949- |
| author_variant | k r a kr kra |
| building | Verbundindex |
| bvnumber | BV010176684 |
| ctrlnum | (OCoLC)31372906 (DE-599)BVBBV010176684 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01294nam a2200277 cb4500</leader><controlfield tag="001">BV010176684</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960325 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950510s1993 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31372906</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010176684</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="100" ind1="1" ind2=" "><subfield code="a">Apt, Krzysztof R.</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)110139763</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Declarative programming in Prolog</subfield><subfield code="c">K. R. Apt</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">21 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">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">93,53</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We try to assess to what extent declarative programming can be realized in Prolog and which aspects of correctness of Prolog programs can be dealt with by means of declarative interpretation. More specifically, we shall discuss termination of Prolog programs, partial correctness, absence of errors and the safe use of negation."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Computer program language)</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">93,53</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">93,53</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006759341</subfield></datafield></record></collection> |
| id | DE-604.BV010176684 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:47:50Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006759341 |
| oclc_num | 31372906 |
| open_access_boolean | |
| physical | 21 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Apt, Krzysztof R. 1949- Verfasser (DE-588)110139763 aut Declarative programming in Prolog K. R. Apt Amsterdam 1993 21 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 93,53 Abstract: "We try to assess to what extent declarative programming can be realized in Prolog and which aspects of correctness of Prolog programs can be dealt with by means of declarative interpretation. More specifically, we shall discuss termination of Prolog programs, partial correctness, absence of errors and the safe use of negation." Prolog (Computer program language) Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 93,53 (DE-604)BV008928356 93,53 |
| spellingShingle | Apt, Krzysztof R. 1949- Declarative programming in Prolog Prolog (Computer program language) |
| title | Declarative programming in Prolog |
| title_auth | Declarative programming in Prolog |
| title_exact_search | Declarative programming in Prolog |
| title_full | Declarative programming in Prolog K. R. Apt |
| title_fullStr | Declarative programming in Prolog K. R. Apt |
| title_full_unstemmed | Declarative programming in Prolog K. R. Apt |
| title_short | Declarative programming in Prolog |
| title_sort | declarative programming in prolog |
| topic | Prolog (Computer program language) |
| topic_facet | Prolog (Computer program language) |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT aptkrzysztofr declarativeprogramminginprolog |