Comparing negation in logic programming and in Prolog:
Abstract: "We compare here two uses of negation -- in logic programming and in Prolog. As in Prolog negation is defined by means of meta-programming facilities and the cut operator, this requires a careful reexamination of the assumptions about the underlying syntax and a precise definition of...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1994
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
94,68 |
| Subjects: | |
| Summary: | Abstract: "We compare here two uses of negation -- in logic programming and in Prolog. As in Prolog negation is defined by means of meta-programming facilities and the cut operator, this requires a careful reexamination of the assumptions about the underlying syntax and a precise definition of the computational processes involved. After taking care of these matters we establish a formal result showing an equivalence in appropriate sense between these two uses of negation. This result allows us to argue about correctness of various known Prolog programs which use negation by reasoning about the corresponding general logic programs." |
| Physical Description: | 18 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010162088 | ||
| 003 | DE-604 | ||
| 005 | 19960325 | ||
| 007 | t | ||
| 008 | 950428s1994 |||| 00||| engod | ||
| 035 | |a (OCoLC)32882255 | ||
| 035 | |a (DE-599)BVBBV010162088 | ||
| 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 Comparing negation in logic programming and in Prolog |c K. R. Apt ; F. Teusink |
| 264 | 1 | |a Amsterdam |c 1994 | |
| 300 | |a 18 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 94,68 | |
| 520 | 3 | |a Abstract: "We compare here two uses of negation -- in logic programming and in Prolog. As in Prolog negation is defined by means of meta-programming facilities and the cut operator, this requires a careful reexamination of the assumptions about the underlying syntax and a precise definition of the computational processes involved. After taking care of these matters we establish a formal result showing an equivalence in appropriate sense between these two uses of negation. This result allows us to argue about correctness of various known Prolog programs which use negation by reasoning about the corresponding general logic programs." | |
| 650 | 4 | |a Logic programming | |
| 700 | 1 | |a Teusink, Frank |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 94,68 |w (DE-604)BV008928356 |9 94,68 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006748555 | ||
Record in the Search Index
| _version_ | 1804124556803178496 |
|---|---|
| any_adam_object | |
| author | Apt, Krzysztof R. 1949- Teusink, Frank |
| author_GND | (DE-588)110139763 |
| author_facet | Apt, Krzysztof R. 1949- Teusink, Frank |
| author_role | aut aut |
| author_sort | Apt, Krzysztof R. 1949- |
| author_variant | k r a kr kra f t ft |
| building | Verbundindex |
| bvnumber | BV010162088 |
| ctrlnum | (OCoLC)32882255 (DE-599)BVBBV010162088 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01656nam a2200289 cb4500</leader><controlfield tag="001">BV010162088</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960325 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950428s1994 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32882255</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010162088</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">Comparing negation in logic programming and in Prolog</subfield><subfield code="c">K. R. Apt ; F. Teusink</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">18 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">94,68</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We compare here two uses of negation -- in logic programming and in Prolog. As in Prolog negation is defined by means of meta-programming facilities and the cut operator, this requires a careful reexamination of the assumptions about the underlying syntax and a precise definition of the computational processes involved. After taking care of these matters we establish a formal result showing an equivalence in appropriate sense between these two uses of negation. This result allows us to argue about correctness of various known Prolog programs which use negation by reasoning about the corresponding general logic 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">Teusink, Frank</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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">94,68</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">94,68</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006748555</subfield></datafield></record></collection> |
| id | DE-604.BV010162088 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:47:33Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006748555 |
| oclc_num | 32882255 |
| open_access_boolean | |
| physical | 18 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| 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 Comparing negation in logic programming and in Prolog K. R. Apt ; F. Teusink Amsterdam 1994 18 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 94,68 Abstract: "We compare here two uses of negation -- in logic programming and in Prolog. As in Prolog negation is defined by means of meta-programming facilities and the cut operator, this requires a careful reexamination of the assumptions about the underlying syntax and a precise definition of the computational processes involved. After taking care of these matters we establish a formal result showing an equivalence in appropriate sense between these two uses of negation. This result allows us to argue about correctness of various known Prolog programs which use negation by reasoning about the corresponding general logic programs." Logic programming Teusink, Frank Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 94,68 (DE-604)BV008928356 94,68 |
| spellingShingle | Apt, Krzysztof R. 1949- Teusink, Frank Comparing negation in logic programming and in Prolog Logic programming |
| title | Comparing negation in logic programming and in Prolog |
| title_auth | Comparing negation in logic programming and in Prolog |
| title_exact_search | Comparing negation in logic programming and in Prolog |
| title_full | Comparing negation in logic programming and in Prolog K. R. Apt ; F. Teusink |
| title_fullStr | Comparing negation in logic programming and in Prolog K. R. Apt ; F. Teusink |
| title_full_unstemmed | Comparing negation in logic programming and in Prolog K. R. Apt ; F. Teusink |
| title_short | Comparing negation in logic programming and in Prolog |
| title_sort | comparing negation in logic programming and in prolog |
| topic | Logic programming |
| topic_facet | Logic programming |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT aptkrzysztofr comparingnegationinlogicprogrammingandinprolog AT teusinkfrank comparingnegationinlogicprogrammingandinprolog |