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