A Mathematical Definition of Full Prolog (1995)

by Egon Börger, Dean Rosenzweig
Venue:Science of Computer Programming