Interactive Semantics of Logic Programming

Title: Interactive Semantics of Logic Programming

Research Question: How can we develop an interactive semantics for logic programming that captures the hidden interactions and coordination mechanisms between different components?

Methodology: We applied ideas from reduction-based communication systems to the field of logic programming. This approach allowed us to study the operational machinery of logic programming in a more interactive and coordinated manner. We used the framework of tile semantics, which is a uniform treatment of goals and observations, and applied abstract categorical tools for proving the results.

Results: We presented two main contributions: a finitary presentation of abstract unification and a concurrent and coordinated abstract semantics consistent with common logic programming semantics. Additionally, we discussed an extension of the approach for handling constraint systems.

Implications: This research has implications for the development of modular programs in logic programming and the study of program properties. It also contributes to the understanding of how to extend the application of logic programming to various practical domains.

Link to Article: https://arxiv.org/abs/0107022v1 Authors: arXiv ID: 0107022v1