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 条
  • [1] Improving prolog programs: Refactoring for prolog
    Serebrenik, Alexander
    Schrijvers, Tom
    Demoen, Bart
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2008, 8 (02) : 201 - 215
  • [2] DEBUG TOOLS - NOT AN OPTION
    WILSON, R
    [J]. COMPUTER DESIGN, 1990, 29 (08): : 14 - 14
  • [3] Improving Prolog programs: Refactoring for prolog
    Schrijvers, T
    Serebrenik, A
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 58 - 72
  • [4] PROFILING PROLOG PROGRAMS
    DEBRAY, SK
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (09): : 821 - 839
  • [5] SOC debug challenges and tools
    Schultz, Kenneth
    Paranjape, Ketan
    [J]. IFIP VLSI-SOC 2006: IFIP WG 10.5 INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION & SYSTEM-ON-CHIP, 2006, : 385 - +
  • [6] Actions as prolog programs
    Tolentino, MV
    Santos, PE
    daSilva, FSC
    Rillo, M
    [J]. IEEE INTERNATIONAL JOINT SYMPOSIA ON INTELLIGENCE AND SYSTEMS, PROCEEDINGS, 1996, : 178 - 183
  • [7] The Debug slicing of logic programs
    [J]. Szilágyi, G. (szilagyi@inf.u-szeged.hu), 2001, University of Szeged (15):
  • [8] The debug slicing of logic programs
    Szilágyi, Gyöngyi
    Harmath, László
    Gyimóthy, Tibor
    [J]. Acta Cybernetica, 2001, 15 (02): : 257 - 278
  • [9] THE PERFORMANCE OF PARALLEL PROLOG PROGRAMS
    FAGIN, BS
    DESPAIN, AM
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (12) : 1434 - 1445
  • [10] EFFICIENT INTERPRETATION OF PROLOG PROGRAMS
    BARKLUND, J
    [J]. SIGPLAN NOTICES, 1987, 22 (07): : 132 - 137
12345