DocumentCode :
2301959
Title :
A practical module system for logic programming and its semantics
Author :
Karali, I. ; Halatsis, C.
Author_Institution :
Dept. of Inf., Athens Univ., Greece
fYear :
1994
fDate :
6-9 Nov 1994
Firstpage :
708
Lastpage :
711
Abstract :
Encapsulation constructs with import/export declarations is the structuring facility offered in most commercial Prolog systems. However, real-life applications have shown to require a finer information exchange between encapsulated pieces of code. A refinement of import/export declarations for logic modules is presented both as a stricter form of communication between the modules and as a larger variety of visibility states of the predicates, the standard approaches being special cases of it. The semantics of this module system has been examined and model-theoretic, fixpoint and operational ones have been given and have been proved to be equivalent. In addition, the module system has been naturally transformed to Horn clause logic
Keywords :
Horn clauses; PROLOG; computational linguistics; data encapsulation; logic programming; Horn clause logic; commercial Prolog systems; encapsulation constructs; finer information exchange; import/export declarations; logic modules; logic programming; module system; practical module system; predicates; real-life applications; semantics; structuring facility; visibility states; Application software; Artificial intelligence; Encapsulation; Expert systems; Informatics; Logic programming;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-8186-6785-0
Type :
conf
DOI :
10.1109/TAI.1994.346420
Filename :
346420
Link To Document :
بازگشت