Annotations for prolog - A concept and runtime handling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1817, Issue , 2000, Pages 234-254

  Kulaš, Marija ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING;

PRE/POST CONDITIONS; PROCEDURAL ASPECTS; PROGRAM POINTS; RUNTIMES;

PROLOG (PROGRAMMING LANGUAGE);

EID: 26844506724     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10720327_14     Document Type: Conference Paper

References (20)

1. Edinburgh University A. I. Applications Institute. Edinburgh Prolog tools. ftp://-sunsite.doc.ic.ac.uk/packages/prolog-pd-software/tools.tar.Z, 1988.
2. Lawrence Byrd. Understanding the control flow of Prolog programs. In S. A. Tärnlund, editor, Proc. of the Logic Programming Workshop, pages 127-138, Debrecen, Hungary, 1980. Also as D. A. I. Research Paper No. 151.
3. P. W. Dart and J. Zobel. Efficient run-time type checking of typed logic programs. J. of Logic Programming, pages 31-69, 1992.
4. P. Deransart, A. Ed-Dbali, and L. Cervoni. Prolog: The Standard (reference manual). Springer-Verlag, 1996.
5. W. Drabent and J. Małuszyński. Inductive assertion method for logic programs. Theoretical Computer Science, 59:133-155, 1988.
6. F. Henderson, T. Conway, Z. Somogyi, D. Jeffery, P. Schachte, S. Taylor, and C. Speirs. The Mercury Language Reference Manual. http://-www.cs.mu.oz.au/research/mercury, 1998. Release 0.8.
7. M. Hermenegildo, G. Puebla, and F. Bueno. Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging. In K. R. Apt, V. W. Marek, M. Truszczynski, and D. S. Warren, editors, The Logic Programming Paradigm: A 25-Year Perspective. Springer-Verlag, 1999.
8. ISO Prolog Standard drafts. http://www.logic-programming.org/prolog_std.html. Part I.
9. M. Kulaš. Debugging Prolog using annotations. In WLPE’99: 10th Workshop on Logic Programming Environments, Las Cruces, NM, 1999. Also in ENTCS, http://www.elsevier.nl/locate/entcs.
10. Gregor Meyer. Type checking and type inferencing for logic programs with subtypes and parametric polymorphism. Informatik Berichte 200, FernUniversität Hagen, 1996. See also tutorial notes of ICLP’97. Source distribution http://-www.fernuni-hagen.de/pi8/typical.
11. L. Naish. Types and intended meaning. In F. Pfenning, editor, Types in Logic Programming, pages 189-215. MIT Press, 1992.
12. L. Naish. Mode checking using constrained regular trees. Technical Report 98/3, Department of Computer Science, University of Melbourne, 1998. Also as http://www.cs.mu.oz.au/~lee/papers/modealg/.
13. Richard A. O’Keefe. vcheck.pl. In DEC-10 Prolog Library [1]. Check for misspelled variables, 1982.
14. Richard A. O’Keefe. advice.pl. In DEC-10 Prolog Library [1]. Interlisp-like advice package, 1984.
15. Quintus Corp., Palo Alto, CA. Quintus Prolog Language and Library, 1991. Release 3.1.
16. Quintus Corp., Palo Alto, CA. Quintus Prolog Reference Pages, 1991. Release 3.1.
17. J. C. Reynolds. Transformational systems and the algebraic structure of atomic formulas. In B. Meltzer and D. Michie, editors, Machine Intelligence 5. Edinburgh University Press, 1970.
18. Z. Somogyi. A system of precise modes for logic programs. In Proc. of the ICLP, 1987.
19. Robert F. Stärk. The theoretical foundations of LPTP (a logic program theorem prover). J. of Logic Programming, 36(3):241-269, 1998. Source distribution http://www.inf.ethz.ch/personal/staerk/lptp.html. Release 1.05.
20. D. H. D. Warren. Implementing Prolog - Compiling predicate logic programs. Research Reports 39 and 40, University of Edinburgh, Dept. of Artificial Intelligence, 1977.