Bibliography

Apt and BolApt and Bol1994

APT, K. R. AND BOL, R. N. 1994.
Logic programming and negation: A survey.
Journal of Logic Programming 19/20, 9-71.

ClarkClark1978

CLARK, K. L. 1978.
Negation as failure.
In Logic and data bases, H. Gallaire and J. Minker, Eds. Plenum Press, 293-322.

Drabent and MaluszynskiDrabent and Maluszynski1988

DRABENT, W. AND MALUSZYNSKI, J. 1988.
Inductive assertions method for logic programs.
Theoretical Computer Science 59, 133-155.

Drabent and MikowskaDrabent and Mikowska2001

DRABENT, W. AND MIKOWSKA, M. 2001.
Proving correctness and completeness of normal programs -- A declarative approach.
In Proceedings of ICLP01. Lecture Notes in Computer Science, vol. 2237. Springer Verlag, 284-299.

Drabent and MikowskaDrabent and Mikowskapear

DRABENT, W. AND MIKOWSKA, M. To appear.
Proving correctness and completeness of normal programs -- A declarative approach.
Theory and Practice of Logic Programming.

FittingFitting1985

FITTING, M. 1985.
A Kripke-Kleene semantics for general logic programs.
Journal of Logic Programming 2, 295-312.

Hill and LloydHill and Lloyd1994

HILL, P. M. AND LLOYD, J. W. 1994.
The Gödel programming language.
MIT Press, Cambridge, Massachusetts.

KleeneKleene1952

KLEENE, S. 1952.
Introduction to metamathematics.
North-Holland, Amsterdam.

KunenKunen1987

KUNEN, K. 1987.
Negation in logic programming.
Journal of Logic Programming 4, 4 (Dec.), 289-308.

LloydLloyd1984

LLOYD, J. W. 1984.
Foundations of logic programming.
Springer series in symbolic computation. Springer-Verlag, New York.

LloydLloyd1987

LLOYD, J. W. 1987.
Declarative error diagnosis.
New Generation Computing 5, 2, 133-154.

Martelli and TricomiMartelli and Tricomi1992

MARTELLI, M. AND TRICOMI, C. 1992.
A new SLDNF-tree.
Information Processing Letters 43, 2, 57-62.

NaishNaish1992a

NAISH, L. 1992a.
Declarative diagnosis of missing answers.
New Generation Computing 10, 3, 255-285.

NaishNaish1992b

NAISH, L. 1992b.
Types and the intended meaning of logic programs.
In Types in logic programming, F. Pfenning, Ed. MIT Press, Cambridge, Massachusetts, 189-216.

NaishNaish1993

NAISH, L. 1993.
Verification of logic programs and imperative programs.
In Constructing logic programs, J.-M. Jacquet, Ed. Wiley, Chichester, England, 143-164.

NaishNaish1996

NAISH, L. 1996.
A declarative view of modes.
In Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming. MIT Press, 185-199.

NaishNaish1997

NAISH, L. 1997.
A declarative debugging scheme.
Journal of Functional and Logic Programming 1997, 3 (April).

NaishNaish2000a

NAISH, L. 2000a.
A three-valued declarative debugging scheme.
Australian Computer Science Communications 22, 1 (Jan.), 166-173.

NaishNaish2000b

NAISH, L. 2000b.
A three-valued semantics for Horn clause programs.
Australian Computer Science Communications 22, 1 (Jan.), 174-180.

PereiraPereira1986

PEREIRA, L. M. 1986.
Rational debugging in logic programming.
In Proceedings of the Third International Conference on Logic Programming, E. Shapiro, Ed. London, England, 203-210.
published as Lecture Notes in Computer Science 225 by Springer-Verlag.

Pereira and CalejoPereira and Calejo1988

PEREIRA, L. M. AND CALEJO, M. 1988.
A framework for Prolog debugging.
In Proceedings of the Fifth International Conference/Symposium on Logic Programming, K. A. Bowen and R. A. Kowalski, Eds. Seattle, Washington, 481-495.

PrzymusinskiPrzymusinski1989

PRZYMUSINSKI, T. C. 1989.
Every logic program has a natural stratification and an iterated least fixed point model.
In Proc. of 8th Symposium on Principles of Database Systems. ACM SIGACT-SIGMOD, 11-21.

Puebla, Bueno, and HermenegildoPuebla et al.2000

PUEBLA, G., BUENO, F., AND HERMENEGILDO, M. V. 2000.
An assertion language for constraint logic programs.
In Analysis and Visualization Tools for Constraint Programming, P. Deransart, M. V. Hermenegildo, and J. Maluszynski, Eds. Lecture Notes in Computer Science, vol. 1870. Springer, 23-62.

ShapiroShapiro1983

SHAPIRO, E. Y. 1983.
Algorithmic program debugging.
MIT Press, Cambridge, Massachusetts.

Somogyi, Henderson, and ConwaySomogyi et al.1995

SOMOGYI, Z., HENDERSON, F. J., AND CONWAY, T. 1995.
Mercury: an efficient purely declarative logic programming language.
In Proceedings of the Australian Computer Science Conference. Glenelg, Australia, 499-512.