Skip to Main Content
We elaborate in this paper on the idea of translating situation calculus specifications into logic programs, thus making these specifications executable. We show a Topor-Lloyd-like procedure that transforms situation calculus specifications, mainly intended to stem from database environments, into logic program rules that can be subsequently executed or that could be transformed into deductive or relational database programs. Basically we stress the concept of query safeness, that is central in the database context and we combine for that purpose the concepts of allowed formula and of simple formula into a formal framework with a formal logic programming semantics.
Date of Conference: 4-10 Nov. 2007