Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Nonmonotonic logic and temporal projection
Artificial Intelligence
And-parallelism without shared variables
Logic programming
Linear objects: logical processes with built-in inheritance
Logic programming
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
A new deductive approach to planning
New Generation Computing
Nonmonotonic reasoning in the framework of situation calculus
Artificial Intelligence - Special issue on knowledge representation
Representing actions in logic programming and its applications in database updates
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Multi-Prolog: Definition, operational semantics and implementation
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Abstract interpretation of linear logic programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Non-monotonic concurrent constraint programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Concurrency and plan generation in a logic programming language with a sequential operator
Proceedings of the eleventh international conference on Logic programming
PP-clauses: a means for handling resources (abstract)
Proceedings of the eleventh international conference on Logic programming
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
PARLE '92 Proceedings of the 4th International PARLE Conference on Parallel Architectures and Languages Europe
Extended Horn Clauses: The Framework and Some Semantics
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
Generating Plans in Linear Logic
Proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science
The AbstrAct Scheme for Concurrent Programming
ELP '92 Proceedings of the Third International Workshop on Extensions of Logic Programming
On the expressiveness of coordination via shared dataspaces
Science of Computer Programming - Special issue on coordination languages and architectures
On the Expressiveness of Coordination Models
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
On the Expressiveness of Timed Coordination via Shared Dataspaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
The PPL framework is proposed as a simple extension to logic programming aiming at handling resources. It is argued that the separation between logical treatments and resource handling is desirable and, to that end, resources are proposed to be manipulated by means of pre- and post-conditions associated with usual Horn clauses. The expressiveness of the resulting framework is evidenced through the coding of several applications. Operational and declarative semantics are also presented as extensions of the classical ones accounting for the evaluation of pre- and post-conditions, in particular the non-monotonic behavior of the world of resources they induce in general.