Towards resource handling in logic programming: The PPL framework and fits semantics

Saraswat, 1993 de Boer, 1993, Non-monotonic concurrent constraint programming, 315 De Bosschere, 1993, Multi-Prolog: definition, operational semantics and implementation, 299 Brogi, 1991, The concurrent language Shared Prolog, ACM Transactions on Programming Languages and Systems, 13, 99, 10.1145/114005.102807 Andreoli, 1990, Linear Objects: logical processes with built-in inheritance, 495 Brogi, 1990, And-parallelism without shared variables, 306 Jacquet, 1991, Extended Horn clauses: the framework and its semantics, Volume 527, 281 Jacquet, 1992, Communicating clauses: the framework and its semantics, 98 Saraswat, 1992, Higher-order, linear, concurrent constraint programming Guglielmi, 1994, Concurrency and plan generation in a logic programming language with a sequential operator, 240 Kobayashi, 1993, ACL—A concurrent linear logic programming paradigm, 295 Dung, 1993, Representing actions in logic programming and its applications in database updates, 222 Gelfond, 1992, Representing actions in extended logic programming, 559 Große, 1992, Equational logic programming, actions and change, 177 Hölldobler, 1990, A new deductive approach to planning, New Generation Computing, 8, 225, 10.1007/BF03037518 Hölldobler, 1993, Actions and specificity, 164 Kowalski, 1979 MacCarthy, 1963, Situations and actions and causal laws MacCarthy, 1986, Applications of circumscription to formalizing commonsense knowledge, Artificial Intelligence, 28, 89, 10.1016/0004-3702(86)90032-9 MacCarthy, 1969, Some philosophical problems from the standpoint of artificial intelligence, Machine Intelligence, 4, 463 Masseron, 1990, Generating plans in linear logic, Volume 472, 63 Porto, 1993, The AbstrAct scheme for concurrent programming, Volume 660, 216 Falaschi, 1984, A synchronization logic: axiomatics and formal semantics of generalized Horn clauses, Information and Control, 60, 36, 10.1016/S0019-9958(84)80021-2 Jacquet, 1994, PP.-clauses: a means for handling resources, 743 Jacquet, 1994, Towards resource handling in logic programming: the PPL framework and its semantics, Volume 838, 379 Hanks, 1987, Nonmonotonic logic and temporal projection, Artificial Intelligence, 33, 379, 10.1016/0004-3702(87)90043-9 Schubert, 1990, Monotonic solution for the frame problem in the situation calculus: an efficient method for worlds with fully specified actions, 23 Baker, 1991, Nonmonotonic reasoning in the framework of the situation calculus, Artificial Intelligence, 49, 5, 10.1016/0004-3702(91)90004-4 Kautz, 1986, The logic of persistence, 401 Monteiro, 1986, Distributed logic, a theory of distributed programming in logic De Bosscher, 1992, Comparative semantics of μlog, Volume 605, 911, 10.1007/3-540-55599-4_132