A Workbench System for Novice Prolog Programmers: Visually-Structured Interactive Tracer and Prototype-Based Programming Support (Special Issue on Intelligent CAI and Hypermedia)
スポンサーリンク
概要
- 論文の詳細を見る
The paper proposes and reports on pototyping a work bench system for novice Prolog programmers which consists of a visually-structured interactive tracer and a prototype-based programming support. The tracer actually is a simulated interpreter in Prolog. It is interpreted by a Prolog interpreter being embedded with facilities interfacing programs in Prolog and the objects programmed in C. It displays, by way of these objects, the past, current and future goals, highlights variable sharing and value substitution, and marks the current goals and backtrack choice points. It is at user's will to let the tracer show and hide subgoals as well as to let it backtrack when it failed, step back for redoing or terminate tracing. The programming support module first provides the programmer with structural prototype patterns and the roles of the constituent functions. We developed a support system for the 2 types of recursive definitions. After having selected the prototype, the user is requested to specify the data types and the names of variables to be put in the arguments, which propagate through the structure. The support module then offers a menu of primitive or user-registered constituent functions as may be useful in processing and/or obtaining user-specified types of data. Thirdly the system lets the user express his/her intention by sample input-output data instances in his/her task goals. It makes the values propagate through the structures thus motivating the user to design the constituent functions. At the goal recursion point, the user is allowed to creep into examining the definitions of the reduced versions of the instances, helping the user find the condition with which the recursion terminates. Finally the module assists the user to convert the structural descriptions into Prolog programs.
- 社団法人電子情報通信学会の論文
- 1994-01-25
著者
-
Itoh K
Sci. Univ. Tokyo Chiba Jpn
-
Itoh Kohji
Faculty of Science and Technology, Science University of Tokyo
-
Itami Makoto
Faculty of Science and Technology, Science University of Tokyo
-
Itoh Kohji
Faculty Of Industrial Science And Technology Tokyo University Of Science
-
Itami Makoto
Faculty Of Industrial Science And Technology Tokyo University Of Science
-
Fukawa Kazuo
Faculty of Science and Technology, Science University of Tokyo
-
Muramatsu Jun
Faculty of Science and Technology, Science University of Tokyo
-
Enomoto Yoshitaka
Faculty of Science and Technology, Science University of Tokyo
-
Fukawa Kazuo
Central Research Institute For Feed And Livestock Zen-noh
-
Enomoto Y
Ntt Access Network Systems Lab. Ibaraki‐ken Jpn
-
Muramatsu Jun
Faculty Of Science And Technology Science University Of Tokyo:railway Information Systems
関連論文
- Asynchronous Multiple Access Performances of Frequency-Time-Hopped Multi-Level Frequency-Time Shift Keying Communication Systems (Special Issue on Spread Spectrum Techniques and Applications)
- Interference Detection Based on AIC Using EM Algorithm for UWB MB-OFDM Systems
- Joint Estimation of Frequency Offset and Channel Frequency Response Using EM Algorithm for OFDM Systems(Wide Band Systems)
- Signal Design to Optimize Trade-Off between Bandwidth Efficiency and Power Efficiency in Uplink CDMA Systems(Wide Band Systems)
- Tree Search Detection Based on LLR Using M Algorithm in MC-CDMA Systems(Spread Spectrum,Information Theory and Its Applications)
- Performance comparison between tree search detection based on LLR using M algorithm and QRD-M algorithm in MC-CDMA systems
- A-5-27 A Study on Coding Gain and Diversity Gain in Coded Orthogonal Multi-Carrier Modulation Systems
- The Optimum Channel Estimation for Coherent Receivers in Multicarrier CDMA System with Antenna Array(Special Issue on Multiple Access and Signal Transmission Techniques for Future Mobile Communications)
- Joint Estimation of Delay and DOA Channel Characteristics Using Circular Array Antenna for MC/CDMA
- Performance of Frequency-Division CDMA Systems for Channels with Frequency Selective Fading (Special Section on Spread Spectrum Techniques and Applications)
- A Workbench System for Novice Prolog Programmers: Visually-Structured Interactive Tracer and Prototype-Based Programming Support (Special Issue on Intelligent CAI and Hypermedia)
- Quantitative trait loci for leg weakness traits in a Landrace purebred population
- An insertion/deletion variant of a thymine base in exon 2 of the porcine beta 3-adrenergic receptor gene associated with loin eye muscle area
- Model Selection and Genetic Parameter Estimation for Performance Traits, Body Measurement Traits and Leg Score Traits in a Closed Population of Duroc Pigs
- Estimation of Genetic Parameters on Leg Score and Joint Cartilage Lesion Scores in a Closed Population of Duroc Pig
- Estimation of Genetic Parameters on Leg Score and Joint Cartilage Lesion Scores in a Closed Population of Duroc Pig