A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation.

Egon Brger

Browse the full MFCS paper archive.