Visual tools to debug Prolog IV programs

被引：0
|
作者：
Bouvier, P [1 ]
机构：
[1] Soc PrologIA, F-13288 Marseille 9, France
来源：
ANALYSIS AND VISUALIZATION TOOLS FOR CONSTRAINT PROGRAMMING | 2000年 / 1870卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Like any non-deterministic language, Prolog IV is difficult to use and large Prolog IV programs are quite challenging to debug -not to mention the fact that Prolog IV has a rich and complex constraint mechanism... Although debugging tools already exist in previous versions of the Prolog IV system, their paradigm, as local debuggers/viewers, doesn't give the programmer a good picture of the whole execution process. This chapter presents the Prolog IV Visual Debugger and explains how it is used with the other tools for program debugging and profiling.
引用
收藏
页码：177 / 190
页数：14
相关论文
共 50 条
  • [21] Detecting determinacy in prolog programs
    King, Andy
    Lu, Lunjin
    Genaim, Samir
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 132 - 147
  • [22] PROGRAMS AS DATA IN AN EXTENDED PROLOG
    ROSSI, G
    COMPUTER JOURNAL, 1993, 36 (03): : 217 - 226
  • [23] AN OVERVIEW OF PROLOG DEBUGGING TOOLS
    BRNA, P
    BRAYSHAW, M
    BUNDY, A
    ELSOMCOOK, M
    FUNG, P
    DODD, T
    INSTRUCTIONAL SCIENCE, 1991, 20 (2-3) : 193 - 214
  • [24] Automated verification of Prolog programs
    Le Charlier, B
    Leclère, C
    Rossi, S
    Cortesi, A
    JOURNAL OF LOGIC PROGRAMMING, 1999, 39 (1-3): : 3 - 42
  • [25] ABSTRACT INTERPRETATION OF PROLOG PROGRAMS
    MELLISH, CS
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 463 - 474
  • [26] MIXED COMPUTATION OF PROLOG PROGRAMS
    FULLER, DA
    ABRAMSKY, S
    NEW GENERATION COMPUTING, 1988, 6 (2-3) : 119 - 141
  • [27] But programming, debug tools complicate adoption
    Electron. Eng. Times, 2006, 1416 (1+74):
  • [28] A PROCEDURE TO DEBUG COMPUTER-PROGRAMS
    SHIH, TM
    INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, 1985, 21 (06) : 1027 - 1037
  • [29] Extending diagnosis to debug programs with exceptions
    Mayer, W
    Stumptner, M
    18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 240 - 244
  • [30] Revising probabilistic prolog programs
    De Raedt, Luc
    Kersting, Kristian
    Kimmig, Angelika
    Revoredo, Kate
    Toivonen, Hannu
    INDUCTIVE LOGIC PROGRAMMING, 2007, 4455 : 30 - +
12345