Hiroshi Masuda, Masayuki Numao
CAD Computer Aided Design
We propose a visual computation model called the Box 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. © 1990 Ohmsha, Ltd. and Springer.
Hiroshi Masuda, Masayuki Numao
CAD Computer Aided Design
Takeshi Imamura, Andy Clark, et al.
CCS 2002
Mikio Aoyama, Sanjiva Weerawarana, et al.
Proceedings-International Conference on Software Engineering
Hiroshi Maruyama, Kiyoshi Watanabe, et al.
ARES 2013