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 条

[21] 多智能体系统中基于A-Prolog的能力匹配机制
刘力云
曹元大
胡晶晶
计算机集成制造系统-CIMS, 2003, (S1) : 136 - 139
[22] LOGICAL SEMANTICS AND DENOTATIONAL SEMANTICS OF PROLOG INTERPRETERS
DELAHAYE, JP
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1988, 22 (01): : 3 - 42
[23] A new logical view of knowledge manipulation with PROLOG
Jacquenet, F
Foucherot, I
ANZIIS 96 - 1996 AUSTRALIAN NEW ZEALAND CONFERENCE ON INTELLIGENT INFORMATION SYSTEMS, PROCEEDINGS, 1996, : 2 - 5
[24] THE PROLOG INTERPRETER FROM THE VIEWPOINT OF LOGICAL SEMANTICS
INGIYAN, SA
PROGRAMMING AND COMPUTER SOFTWARE, 1994, 20 (02) : 69 - 75
[25] A Logical Framework for Debugging in Declarative Constraint Programming
del Vado Virseda, Rafael
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 256 : 119 - 135
[26] Systematic Debugging of Logical Errors in Source Code
Ziemann, Felix
Reuss, Florian
PROCEEDINGS OF THE 19TH WIPSCE CONFERENCE IN PRIMARY AND SECONDARY COMPUTING EDUCATION RESEARCH, WIPSCE 2024, 2024,
[27] A FINE-GRAINED ACCOUNT OF PROLOG EXECUTION FOR TEACHING AND DEBUGGING
EISENSTADT, M
BRAYSHAW, M
INSTRUCTIONAL SCIENCE, 1990, 19 (4-5) : 407 - 436
[28] Visualizing Logical Correlation in Trace Data for System Debugging
Liu, Chen
COMPUTER, 2021, 54 (03) : 28 - 36
[29] PROLOG, AN AUTOMATED SYSTEM FOR LOGICAL DESIGN OF DISCRETE CONTROL UNITS
VOKLER, IE
GALAKTIONOVA, EI
KVASOVA, TK
KUZNETSOV, OP
MARKOVSKII, AV
MAKAREVSKII, AY
SHIPILINA, LB
AUTOMATION AND REMOTE CONTROL, 1974, 35 (12) : 1989 - 1922
[30] A logical semantics for depth-first Prolog with ground negation
Andrews, J
THEORETICAL COMPUTER SCIENCE, 1997, 184 (1-2) : 105 - 143

← 1 2 3 4 5 →