A three-valued semantic for Horn clause programs

Proceedings - 23rd Australasian Computer Science Conference, ACSC 2000

Volumn , Issue , 2000, Pages 174-180

  Naish, L ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMS; COMPUTER PROGRAMMING; LOGIC PROGRAMMING;

DECLARATIVE DEBUGGING; FIX-POINT SEMANTICS; LOGIC PROGRAMS; MODEL-THEORETIC SEMANTICS; PROCEDURAL SEMANTICS; PROGRAM ANALYSIS; PROGRAMMING STYLES; SLD RESOLUTION;

SEMANTICS;

EID: 27744535375     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSC.2000.824399     Document Type: Conference Paper

References (15)

1. K. L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and data bases, pages 293-322. Plenum Press, 1978.
2. M. Fitting and M. Ben-Jacob. Stratified and three-valued logic programming semantics. In K. A. Bowen and R. A. Kowalski, editors, Proceedings of the Fifth International Conference/Symposium on Logic Programming, pages 1054-1069, Seattle, Washington, Aug. 1988.
3. P. Hill and J. Lloyd. The Gödel programming language. MIT Press, Cambridge, Massachusetts, 1994.
4. K. Kunen. Negation in logic programming. Journal of Logic Programming, 4(4):289-308, Dec. 1987.
5. J. Lloyd. Declarative error diagnosis. New Generation Computing, 5(2):133-154, 1987.
6. J. W. Lloyd. Foundations of logic programming. Springer series in symbolic computation. Springer-Verlag, New York, 1984.
7. A. Mycroft and R. O'Keefe. A polymorphic type system for Prolog. Artificial Intelligence, 23:295-307, 1984.
8. L. Naish. Types and the intended meaning of logic programs. In F. Pfenning, editor, Types in logic programming, pages 189-216. MIT Press, Cambridge, Massachusetts, 1992.
9. L. Naish. A declarative view of modes. In Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, pages 185-199. MIT Press, September 1996.
10. L. Naish. A declarative debugging scheme. Journal of Functional and Logic Programming, 1997(3), April 1997.
11. L. Naish. A three-valued declarative debugging scheme. In this volume, January 2000.
12. L. M. Pereira. Rational debugging in logic programming. In E. Shapiro, editor, Proceedings of the Third International Conference on Logic Programming, pages 203-210, London, England, July 1986. published as Lecture Notes in Computer Science 225 by Springer-Verlag.
13. L. M. Pereira and M. Calejo. A framework for Prolog debugging. In K. A. Bowen and R. A. Kowalski, editors, Proceedings of the Fifth International Conference/Symposium on Logic Programming, pages 481-495, Seattle, Washington, Aug. 1988.
14. E. Y. Shapiro. Algorithmic program debugging. MIT Press, Cambridge, Massachusetts, 1983.
15. Z. Somogyi, F. J. Henderson, and T. Conway. Mercury: an efficient purely declarative logic programming language. In Proceedings of the Australian Computer Science Conference, pages 499-512, Glenelg, Australia, Feb. 1995.