Debugging in A-prolog: A logical approach

被引：2
|
作者：
Osorio, M [1 ]
Navarro, JA [1 ]
Arrazola, J [1 ]
机构：
[1] Univ Americas Puebla, CENTIA, Cholula 72820, Mexico
来源：
LOGICS PROGRAMMING, PROCEEDINGS | 2002年 / 2401卷
关键词：
D O I：
10.1007/3-540-45619-8_44
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
[No abstract available]
引用
收藏
页码：482 / 483
页数：2
相关论文
共 50 条
  • [31] Logical semantics for depth-first Prolog with ground negation
    Simon Fraser Univ, Burnaby, Canada
    Theor Comput Sci, 1-2 (105-143):
  • [32] DAP PROLOG - A SET-ORIENTED APPROACH TO PROLOG
    KACSUK, P
    BALE, A
    COMPUTER JOURNAL, 1987, 30 (05): : 393 - 403
  • [33] FUNDAMENTAL APPROACH TO DEBUGGING
    TRATNER, M
    SOFTWARE-PRACTICE & EXPERIENCE, 1979, 9 (02): : 97 - 99
  • [34] A heuristic contour prolog list method used in logical reinforcement learning
    Liu, Quan
    Gao, Yang
    Chen, Daoxu
    Cui, Zhiming
    Journal of Information and Computational Science, 2009, 6 (01): : 41 - 47
  • [35] PREDICATES OF PREDICATES IN PROLOG - WHAT LOGICAL SEMANTICS MEETS THE NEEDS OF SUCH CONSTRUCTIONS
    BORSHCHEV, VB
    PROGRAMMING AND COMPUTER SOFTWARE, 1994, 20 (02) : 76 - 79
  • [36] Prolog approach to DNA computing
    Mihalache, V
    PROCEEDINGS OF 1997 IEEE INTERNATIONAL CONFERENCE ON EVOLUTIONARY COMPUTATION (ICEC '97), 1997, : 249 - 254
  • [37] AN APPROACH FOR PROTOTYPING IN THE PROLOG SYSTEM
    LEGEARD, B
    RUEHER, M
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1989, 8 (05): : 423 - 438
  • [38] FUNCTIONAL AND LOGICAL SIMULATION OF MICROPROCESSOR SYSTEMS FOR DESIGN-STAGE DEBUGGING
    IVANNIKOV, AD
    SOVIET MICROELECTRONICS, 1985, 14 (06): : 231 - 235
  • [39] The efficient debugging system for locating logical errors in Java']Java programs
    Kouh, HJ
    Yoo, WH
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2003, PT 1, PROCEEDINGS, 2003, 2667 : 684 - 693
  • [40] A quantitative approach to functional debugging
    Kirovski, D
    Potkonjak, M
    1997 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, 1997, : 170 - 173
12345