Logic + Control Revisited: an Abstract Interpreter for GÖDEL Programs
Egon Börger, Elvinia Riccobene · 1994
Abstract We develop a simple interpreter for programs of the new logic programming language GODEL. The definition provides a clean interface between logical and control components for execution of GODEL programs. The construction is given in abstract terms which cover the general logic programming paradigm and allow for concurrency.