Structural disambiguation with constraint propagation
Hiroshi Maruyama
ACL 1990
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 Maruyama
ACL 1990
Yuji Watanabe, Masayuki Numao
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Mikio Aoyama, Sanjiva Weerawarana, et al.
Proceedings-International Conference on Software Engineering
Hiroshi Maruyama, Taiga Nakamura, et al.
CCS 2003