caa a22 4500 46798865X CHVBK 20180323112539.0 cr unu---uuuuu 170328e19900801xx s 000 0 eng 10.1007/BF03037469 doi (NATIONALLICENCE)springer-10.1007/BF03037469 How should Prolog computation Be represented for practical use? [Elektronische Daten] [Masayuki Numao, Shin'ichi Morishita, Hiroshi Maruyama] 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. Ohmsha, Ltd. and Springer, 1990 Prolog nationallicence Logic Programming nationallicence Debugger nationallicence Computation Model nationallicence Visualization nationallicence Numao Masayuki IBM Research, Tokyo Research Laboratory, 5-19 Sanban-cho, Chiyoda-ku, 102, Tokyo, Japan aut Morishita Shin'ichi IBM Research, Tokyo Research Laboratory, 5-19 Sanban-cho, Chiyoda-ku, 102, Tokyo, Japan aut Maruyama Hiroshi IBM Research, Tokyo Research Laboratory, 5-19 Sanban-cho, Chiyoda-ku, 102, Tokyo, Japan aut New Generation Computing Springer-Verlag 8/2(1990-08-01), 95-112 0288-3635 8:2<95 1990 8 354 https://doi.org/10.1007/BF03037469 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF03037469 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Numao Masayuki IBM Research, Tokyo Research Laboratory, 5-19 Sanban-cho, Chiyoda-ku, 102, Tokyo, Japan aut NATIONALLICENCE 700 1- Morishita Shin'ichi IBM Research, Tokyo Research Laboratory, 5-19 Sanban-cho, Chiyoda-ku, 102, Tokyo, Japan aut NATIONALLICENCE 700 1- Maruyama Hiroshi IBM Research, Tokyo Research Laboratory, 5-19 Sanban-cho, Chiyoda-ku, 102, Tokyo, Japan aut NATIONALLICENCE 773 0- New Generation Computing Springer-Verlag 8/2(1990-08-01), 95-112 0288-3635 8:2<95 1990 8 354 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer