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 条
  • [41] A VISUAL DEBUGGER FOR PURE PROLOG
    TAMIR, DE
    ANANTHAKRISHNAN, R
    KANDEL, A
    INFORMATION SCIENCES-APPLICATIONS, 1995, 3 (02): : 127 - 147
  • [42] MEMORY PERFORMANCE OF LISP AND PROLOG PROGRAMS
    TICK, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 642 - 649
  • [43] IMPLEMENTATION OF PROLOG AS BINARY DEFINITE PROGRAMS
    DEMOEN, B
    MARIEN, A
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 165 - 176
  • [44] A CALCULUS FOR THE CONSTRUCTION OF MODULAR PROLOG PROGRAMS
    SANNELLA, DT
    WALLEN, LA
    JOURNAL OF LOGIC PROGRAMMING, 1992, 12 (1-2): : 147 - 177
  • [45] PROGRAMS AS COLLECTIONS OF COMMUNICATING PROLOG UNITS
    MELLO, P
    NATALI, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 213 : 274 - 288
  • [46] CLUSTERING PROLOG PROGRAMS FOR DISTRIBUTED COMPUTATIONS
    BOBBIE, PO
    PAPAZOGLOU, M
    JOURNAL OF SYSTEMS AND SOFTWARE, 1991, 16 (03) : 205 - 218
  • [47] RELIABILITY PREDICTION AND ESTIMATION OF PROLOG PROGRAMS
    AZEM, A
    BELLI, F
    JEDRZEJOWICZ, P
    IEEE TRANSACTIONS ON RELIABILITY, 1994, 43 (04) : 542 - 549
  • [48] COMPOSITIONAL OPERATIONAL SEMANTICS FOR PROLOG PROGRAMS
    CHENG, MHM
    HORSPOOL, RN
    LEVY, MR
    VANEMDEN, MH
    NEW GENERATION COMPUTING, 1992, 10 (03) : 315 - 328
  • [49] PROVING TERMINATION OF GENERAL PROLOG PROGRAMS
    APT, KR
    PEDRESCHI, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 265 - 289
  • [50] LOOP DETECTION IN PROPOSITIONAL PROLOG PROGRAMS
    BUNING, HK
    LOWEN, U
    SCHMITGEN, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 385 : 148 - 165
12345