论文信息 - PRESET - A Debugging Environment for Prolog

PRESET - A Debugging Environment for Prolog

This paper describes PRESET, a debugging environment for the programming language Prolog. PRESET is implemented in C-Prolog and has two major components: Predicate Diagnoser and Why/Whynot Explanation System. Predicate Diagnoser detects bugs which can be found in prior to execution, such as misspellings and illegal calls. Why/Whynot Explanation System is based on the top-down procedure diagnosis method. It can explain not only where bugs exist but also "why" they are wrong, which most of the existing debugging tools for Prolog do not indicate.

Etsuya Shibayama | Hidehisa Takahashi

[1] Ron Y. Pinter,et al. An environment for logic programming , 1985, ACM SIGPLAN Notices.

[2] Michael A. Covington. A further note on looping in Prolog , 1985, SIGP.

[3] William F. Clocksin,et al. Programming in Prolog , 1981, Springer Berlin Heidelberg.

[4] Donald Nute. A programming solution to certain problems with loops in Prolog , 1985, SIGP.

[5] Ehud Y. Shapiro,et al. Algorithmic program diagnosis , 1982, POPL '82.

[6] Masayuki Numao,et al. PROEDIT - A Screen Oriented Prolog Programming Environment , 1985, LP.

[7] Jan Komorowski,et al. A model and an implementation of a logic programming environment , 1985, ACM SIGPLAN Notices.

[8] Randy Goebel,et al. On eliminating loops in Prolog , 1985, SIGP.

[9] Ehud Shapiro,et al. Algorithmic Program Debugging , 1983 .

[10] Michael A. Covington. Eliminating unwanted loops in Prolog , 1985, SIGP.