Operational and Denotational Semantics of Prolog

Bijan Arbab, Daniel M. Berry. Operational and Denotational Semantics of Prolog. Journal of Logic and Algebraic Programming, 4(4):309-329, 1987.

Authors

Bijan Arbab

This author has not been identified. Look up 'Bijan Arbab' in Google

Daniel M. Berry

This author has not been identified. It may be one of the following persons: Look up 'Daniel M. Berry' in Google