Volume 6: January - December 1996

Issue 1: 1996


Simultaneous replacement in normal programs

  • Simultaneous replacement in normal programs
  • A. Bossi1, N. Cocco2 and S. Etalle Dipartimento di Matematica Pura ed Applicata, Universtia di Padova, Via Belzoni 7, 35131 Padova, Italy, 2Dipartimento di Informatica, Universita di Venezia-Ca' Foscari, Via Torino 155, Mestre-Venezia, Italy and 3CWI PO Box 94079, 1090 GB Amsterdam, The Netherlands


    The simultaneous replacement transformation operation, is here defined and studied wrt normal programs. We give applicability conditions able to ensure the correctness of the operation wrt the set of logical consequences of the completed database. We consider separately the cases in which the underlying language is infinite and finite; in this latter case we also distinguish according to the kind of domain closure axioms adopted. As corollaries we obtain results for Fitting's and Kunen's semantics. We also show how simultaneous replacement can mimic other transformation operations such as thinning, fattening and folding, thus producing applicability conditions for them too.

    Keywords: Program's transformation, logic programming, semantics, negation, replacement

    Pages: 81 - 122

    Part of the OUP Journal of Logic and Computation WWW service

    General Information

    Click here to register with OUP.

    This page is maintained by OUP admin

    Last updated 29 Mar 96

    Part of the OUP Journals World Wide Web service.

    Copyright Oxford University Press, 1996