How should Prolog computation Be represented for practical use? |
| |
Authors: | Masayuki Numao Shin’ichi Morishita Hiroshi Maruyama |
| |
Affiliation: | 1. IBM Research, Tokyo Research Laboratory, 5-19 Sanban-cho, Chiyoda-ku, 102, Tokyo, Japan
|
| |
Abstract: | We propose a visual computation model called theBox and Plane Model (BPM), which visually clarifies the semantics of backtracking, the cut operator, and side-effects, thus allowing the procedural
features of Prolog to be grasped. On the bases of the BPM, we developed a visual debugger for Prolog, PROEDIT2, which has
proved that this kind of pragmatic computation model for Prolog increases the efficiency of the debugging work. |
| |
Keywords: | Prolog Logic Programming Debugger Computation Model Visualization |
本文献已被 SpringerLink 等数据库收录! |
|