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 条
  • [31] DEBUGGING HLL PROGRAMS WITH DEBUG.
    Buechner, Gerold
    Schlueter, Manfred
    [J]. Siemens power engineering, 1984, 6 (06): : 335 - 338
  • [32] AUTOMATIC DEBUGGING OF PROLOG PROGRAMS IN A PROLOG INTELLIGENT TUTORING SYSTEM
    LOOI, CK
    [J]. INSTRUCTIONAL SCIENCE, 1991, 20 (2-3) : 215 - 263
  • [33] From Prolog III to Prolog IV: The logic of constraint programming revisited
    Narboni, Guy A.
    [J]. Constraints, 1999, 4 (04): : 313 - 335
  • [34] From Prolog III to Prolog IV: The Logic of Constraint Programming Revisited
    Narboni G.A.
    [J]. Constraints, 1999, 4 (4) : 313 - 335
  • [35] ASP - PROLOG : A system for reasoning about answer set programs in Prolog
    Elkhatib, O
    Pontelli, E
    Son, TC
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2004, 3057 : 148 - 162
  • [36] ON COMPUTATIONAL-COMPLEXITY OF PROLOG PROGRAMS
    DIKOVSKY, AJ
    [J]. THEORETICAL COMPUTER SCIENCE, 1993, 119 (01) : 63 - 102
  • [37] SD 88, PROLOG TOOLS, AND TRANSPUTERS
    SWAINE, M
    [J]. DR DOBBS JOURNAL, 1988, 13 (06): : 110 - &
  • [38] A transformation tool for pure Prolog programs
    Brunekreef, J
    [J]. LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION, 1997, 1207 : 130 - 145
  • [39] Applying Evolutionary Techniques to Debug Functional Programs
    de la Encina, Alberto
    Hidalgo-Herrero, Mercedes
    Rabanal, Pablo
    Rubio, Fernando
    [J]. BIO-INSPIRED SYSTEMS: COMPUTATIONAL AND AMBIENT INTELLIGENCE, PT 1, 2009, 5517 : 318 - 326
  • [40] INCORPORATING PROGRAMMING TECHNIQUES INTO PROLOG PROGRAMS
    LAKHOTIA, A
    [J]. LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 426 - 440
12345