Results 1 
5 of
5
INCOM: A WEBBASED HOMEWORK COACHING SYSTEM FOR LOGIC PROGRAMMING
"... Programming is a complex process which usually results in a large space of solutions. However, existing software systems which support students in solving programming problems often restrict students to fill in prespecified solution templates or to follow an ideal solution path. In this paper, we i ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Programming is a complex process which usually results in a large space of solutions. However, existing software systems which support students in solving programming problems often restrict students to fill in prespecified solution templates or to follow an ideal solution path. In this paper, we introduce a webbased homework coaching system for Logic Programming (INCOM) which allows students to develop a Prolog predicate in an exploratory manner, i.e., students are allowed to explore a solution space by themselves. As a tutoring model, this system supports students in two stages: a task analysis prior to an implementation phase. To model the solution space for a Logic Programming problem, a weighted constraintbased model was deployed in INCOM. This model consists of a set of constraints, constraint weights, a semantic table, and several transformation rules. The contribution of this paper is twofold: it reviews a number of tutoring systems for learning programming which have not been considered in other surveys so far, and it presents an effective exploratory homework coaching system for Logic Programming.
Evaluation of a Constraintbased Error Diagnosis for Logic Programming
 Proc.of the 13 th Int. Conference on Computers in Education
, 2005
"... Abstract. We applied the constraintbased approach to develop a webbased diagnosis system for Prolog. In this paper, we introduce the results of our formative evaluation which reflects the current effectiveness of our system. We gathered 261 log files which are created by 99 users contained records ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. We applied the constraintbased approach to develop a webbased diagnosis system for Prolog. In this paper, we introduce the results of our formative evaluation which reflects the current effectiveness of our system. We gathered 261 log files which are created by 99 users contained records of interactions with the tutoring system. In addition, we present the common problems of Prolog novice programmers, strengths and limitations of our system. Keywords: Formative evaluation, Constraintbased error diagnosis, Logic programming.
Constraintbased Error Diagnosis in Logic Programming
"... Abstract. Using the constraintbased modeling approach, we have developed a diagnostic component, which is able to identify errors made by learners of a logic programming language when implementing a given task specification. It uses patterns to hypothesize the intention of a learner and programming ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. Using the constraintbased modeling approach, we have developed a diagnostic component, which is able to identify errors made by learners of a logic programming language when implementing a given task specification. It uses patterns to hypothesize the intention of a learner and programming techniques to model conditions on the semantic wellformedness of the program code. These conditions are expressed by means of constraints, which are evaluated on the student solution. Guiding feedback can be derived from constraint violations and is presented to the student with different degrees of informativity. The component has been integrated into a webbased tutoring system and tested on a number of exercises by the participants of an introductory course in logic programming. Keywords: Constraintbased error diagnosis, Tutoring systems, Logic programming.
Using Prolog Design Patterns to Support Constraint Based Error Diagnosis in Logic Programming
"... Abstract. Logic programming provides many possibilities to implement a task. Solutions can be realized by applying a variety of different design strategies and programming techniques. Using constraintbased modeling (CBM) we are in a position to cover the solution space for a given programming task. ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. Logic programming provides many possibilities to implement a task. Solutions can be realized by applying a variety of different design strategies and programming techniques. Using constraintbased modeling (CBM) we are in a position to cover the solution space for a given programming task. In this paper, we investigate the CBM approach for diagnostic purposes in the domain of logic programming. We address the illstructuredness of this domain and the complexity of constraints modelling variations of design strategies. We propose an approach to structure the domain of logic programming by using Prolog patterns and to relieve the complexity of constraints by hypothesizing the design strategy in the student’s solution.