论文信息 - Prolog Computation Model BPM and its Debugger PROEDIT2

Prolog Computation Model BPM and its Debugger PROEDIT2

This paper presents a debugger for Prolog ‘PROEDIT2’. In order to express the complex execution mechanism of Prolog, a new execution model for Prolog ‘BPM’ is also proposed. PROEDIT2 shows the execution of Prolog in BPM notation.

Masayuki Numao | Shinichi Morishita | S. Morishita | M. Numao

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

[2] Masayuki Numao,et al. Visual Debugger for Prolog , 1985, CAIA.

[3] Koichi Fukunaga,et al. An experience with a Prolog-based object-oriented language , 1986, OOPSLA 1986.