An algebraic semantics of Prolog control

Brian J. Ross. An algebraic semantics of Prolog control. PhD thesis, University of Edinburgh, UK, 1992. [doi]

Abstract

Abstract is missing.