An Interface between the Situation Calculus and Logic Programming

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.