AN OVERVIEW OF PROLOG DEBUGGING TOOLS

被引：3

作者：

BRNA, P

BRAYSHAW, M

BUNDY, A

ELSOMCOOK, M

FUNG, P

DODD, T

机构：

[1] OPEN UNIV,HUMAN COGNIT RES LAB,MILTON KEYNES MK7 6AA,BUCKS,ENGLAND

[2] OPEN UNIV,INST EDUC TECHNOL,MILTON KEYNES MK7 6AA,BUCKS,ENGLAND

[3] EXPERT SYST INT,OXFORD OX2 0BJ,ENGLAND

来源：

INSTRUCTIONAL SCIENCE | 1991年 / 20卷 / 2-3期

关键词：

D O I：

10.1007/BF00120882

中图分类号：

G40 [教育学];

学科分类号：

040101 ; 120403 ;

摘要：

In this paper we present an overview of the advances in debugging standard Prolog programs. The analysis offered is in terms of a classification of tools that provide different degrees of activity in the debugging process. Other possible dimensions of analysis are also outlined. © 1991 Kluwer Academic Publishers.

引用

页码：193 / 214

页数：22

共 45 条

[1]

Anderson J. R, 1983, ARCHITECTURE COGNITI, DOI DOI 10.4324/9781315799438

[2] LEARNING TO PROGRAM IN LISP [J].

ANDERSON, JR ;

FARRELL, R ;

SAUERS, R .

COGNITIVE SCIENCE, 1984, 8 (02) :87-129

[3] THE AUTOMATED TUTORING OF INTRODUCTORY COMPUTER-PROGRAMMING [J].

ANDERSON, JR ;

SKWARECKI, E .

COMMUNICATIONS OF THE ACM, 1986, 29 (09) :842-849

[4]

ANDERSON JR, 1987, ESSENTIAL LISP

[5]

[Anonymous], 1980, CALCULUS COMMUNICATI

[6]

BOWEN DL, 1981, 27 U ED DEP ART INT

[7] PROLOG PROGRAMMING TECHNIQUES [J].

BRNA, P ;

BUNDY, A ;

DODD, T ;

EISENSTADT, M ;

LOOI, CK ;

PAIN, H ;

ROBERTSON, D ;

SMITH, B ;

VANSOMEREN, M .

INSTRUCTIONAL SCIENCE, 1991, 20 (2-3) :111-133

[8]

BRNA P, 1987, ADV ARTIFICIAL INTEL, P251

[9]

BRYD L, 1980, P LOGIC PROGRAMMING, P127

[10] A RECURSIVE TECHNIQUES EDITOR FOR PROLOG [J].

BUNDY, A ;

GROSSE, G ;

BRNA, P .

INSTRUCTIONAL SCIENCE, 1991, 20 (2-3) :135-172

← 1 2 3 4 5 →