High-Level Logic Programming

被引：0
作者：
Osorio, M
Zacarias, F
机构：
[1] Univ Americas Puebla Puebla, CENTIA, Cholula 72820, Puebla, Mexico
[2] Benemerita Univ Autonoma Puebla, Fac Ciencias, Puebla 75579, Mexico
来源：
FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS | 2000年 / 1762卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We introduce the paradigm of High-Level Logic Programming. This paradigm is the consolidation of our recent results on disjunctions, sets, partial-order clauses and aggregation. We show how these concepts are integrated in a natural way into the standard logic programming framework. For this purpose, we present several well known examples from the literature that support this claim. Our approach to define the declarative semantics of HLL (High-Level Logic) programs consists on a translation of them to datalog disjunctive programs and then to use D1-WFS-COMP.
引用
收藏
页码：226 / 240
页数：15
相关论文
共 31 条
[1]   A RULE-BASED LANGUAGE WITH FUNCTIONS AND SETS [J].
ABITEBOUL, S ;
GRUMBACH, S .
ACM TRANSACTIONS ON DATABASE SYSTEMS, 1991, 16 (01) :1-30
[2]  
ARRAZOLA JDJ, 1999, COMPUTACION Y SISTEM, V2, P104
[3]  
Beeri C., 1987, P ACM PODS, P21
[4]   Characterizations of the disjunctive stable semantics by partial evaluation [J].
Brass, S ;
Dix, J .
JOURNAL OF LOGIC PROGRAMMING, 1997, 32 (03) :207-228
[5]  
Brass S, 1997, LECT NOTES ARTIF INT, V1216, P171, DOI 10.1007/BFb0023807
[6]  
Brass S, 1996, LECT NOTES ARTIF INT, V1126, P268
[7]  
Brass S, 1995, LECT NOTES ARTIF INT, V928, P85
[8]  
BRASS S, 1996, P 5 INT C PRINC KNOW
[9]  
BRASS S, 1998, IN PRESS J AUTOMATED
[10]  
BREWKA G, 1998, HDB PHILOS LOGIC, V6, pCH6
1234