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
Hiroshi Maruyama, Kiyoshi Watanabe, et al.
ARES 2013
Mikio Aoyama, Sanjiva Weerawarana, et al.
Proceedings-International Conference on Software Engineering
Yuji Watanabe, Masayuki Numao
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)