A logical analysis of modules in logic programming
Journal of Logic Programming
A Logic-Based Information System
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Reference model and perspective schemata inference for enterprise data integration
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Hi-index | 0.00 |
This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues of logic program structuring, by way of the parametric context. We claim that these two can be effectively combined to obtain a language which offers significant gains in expressiveness over previous work. This claim is experimentally backed by the applications that have been developed using these tools.