A game semantics foundation for logic programming
We introduce a semantics of Logic Programming based on an classical Game Theory, which is proven to be sound and complete w.r.t. the traditional operational semantics and Negation as Failure. This game semantics is based on an abstract reformulation of classical results about two player games, and allows a very simple characterization of the solution set of a logic program in terms of approximations of the value of the game associated to it, which can also be used to capture in a very simple way the traditional “negation as failure” extensions. This approach to semantics also opens the way to a better understanding of the mechanisms at work in parallel implementations of logic programs and in the operational semantics of logic programs with negative goals.
Unable to display preview. Download preview PDF.
- Aumann and Hart (eds). Handbook of Game Theory with Economic Applications. 1992.Google Scholar
- Krzysztof Apt. From Logic Programming to Prolog. Prentice Hall, 1997.Google Scholar
- M.G. Brockington. A taxonomy of parallel game-tree search algorithms. Journal of the International Computer Chess Association, 19(3):162–174, 1996.Google Scholar
- P.L. Curien and H. Herbelin. Computing with abstract bohm trees. 1996.Google Scholar
- Levi Comici and Meo. Compositionality of SLD-derivations and their abstractions. ILPS, 1995.Google Scholar
- E. Eder. Properties of substitutions and unifications. Journal of Symbolic Computation, (1):31–46, 1985.Google Scholar
- A. Joyal. Free lattices, communication and money games. Proceedings of the 10th International Congress of Logic, Methodology, and Philosophy of Science, 1995.Google Scholar
- F. Lamarche. Game semantics for full prepositional linear logic. LICS, pages 464–473, 1995.Google Scholar
- Jean Loddo and Stéphane Nicolet. Theorie des jeux et langages de programmation. Technical report TR-98-01, ENS, 45, Rue d'Ulm, 1998.Google Scholar
- G. Levi and F. Patricelli. Prolog: Linguaggio Applicazioni ed Implementazioni. Scuola Superiore G. Reiss Romoli, 1993.Google Scholar
- C. Palamidessi. Algebraic properties of idempotent substitutions, ICALP, LNCS, 443, 1990.Google Scholar
- V. Danos P. Baillot and T. Ehrhard. Believe it or not, AJM's games model is a model of classical linear logic. LICS, pages 68–75, 1997.Google Scholar
- J. von Neumann. Zur Theorie der Gesellschaftsspiele. Mathaematische Annalen, (100):195–320, 1928.Google Scholar