Title :
A practical module system for logic programming and its semantics
Author :
Karali, I. ; Halatsis, C.
Author_Institution :
Dept. of Inf., Athens Univ., Greece
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;
Conference_Titel :
Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-8186-6785-0
DOI :
10.1109/TAI.1994.346420