Comments on "logic programming with equations"

Pier Giorgio Bosco; Elio Giovannetti; Corrado Moiso; Catuscia Palamidessi

doi:10.1016/0743-1066(91)90010-M

Comments on "logic programming with equations"

Pier Giorgio Bosco
, Elio Giovannetti
, Corrado Moiso
, Catuscia Palamidessi

Research output: Contribution to journal › Article › peer-review

Abstract

This note discusses the results of the compilational approach of equational logic programming developed by Van Emden and Yukawa, and compares them with similar results obtained by Bosco et al. and by Fribourg. We show that Van Emden and Yukawa's completeness result contains an inaccuracy, and we suggest how to correct it.

Original language	English
Pages (from-to)	85-89
Number of pages	5
Journal	The Journal of Logic Programming
Volume	11
Issue number	1
DOIs	https://doi.org/10.1016/0743-1066(91)90010-M
Publication status	Published - 1 Jan 1991

Access to Document

10.1016/0743-1066(91)90010-M

Cite this

@article{14bb4b83ee2e4eae9caea1000000d2d6,

title = "Comments on {"}logic programming with equations{"}",

abstract = "This note discusses the results of the compilational approach of equational logic programming developed by Van Emden and Yukawa, and compares them with similar results obtained by Bosco et al. and by Fribourg. We show that Van Emden and Yukawa's completeness result contains an inaccuracy, and we suggest how to correct it.",

author = "Bosco, \{Pier Giorgio\} and Elio Giovannetti and Corrado Moiso and Catuscia Palamidessi",

year = "1991",

month = jan,

day = "1",

doi = "10.1016/0743-1066(91)90010-M",

language = "English",

volume = "11",

pages = "85--89",

journal = "The Journal of Logic Programming",

issn = "0743-1066",

number = "1",

}

TY - JOUR

T1 - Comments on "logic programming with equations"

AU - Bosco, Pier Giorgio

AU - Giovannetti, Elio

AU - Moiso, Corrado

AU - Palamidessi, Catuscia

PY - 1991/1/1

Y1 - 1991/1/1

N2 - This note discusses the results of the compilational approach of equational logic programming developed by Van Emden and Yukawa, and compares them with similar results obtained by Bosco et al. and by Fribourg. We show that Van Emden and Yukawa's completeness result contains an inaccuracy, and we suggest how to correct it.

AB - This note discusses the results of the compilational approach of equational logic programming developed by Van Emden and Yukawa, and compares them with similar results obtained by Bosco et al. and by Fribourg. We show that Van Emden and Yukawa's completeness result contains an inaccuracy, and we suggest how to correct it.

UR - https://www.scopus.com/pages/publications/44949277092

U2 - 10.1016/0743-1066(91)90010-M

DO - 10.1016/0743-1066(91)90010-M

M3 - Article

AN - SCOPUS:44949277092

SN - 0743-1066

VL - 11

SP - 85

EP - 89

JO - The Journal of Logic Programming

JF - The Journal of Logic Programming

IS - 1

ER -

Comments on "logic programming with equations"

Abstract

Access to Document

Other files and links

Fingerprint

Cite this