The Expressive Power of Side Effects in Prolog

Johann A. Makowsky, J.-C. Gregoire, Shmuel Sagiv. The Expressive Power of Side Effects in Prolog. Journal of Logic and Algebraic Programming, 12(1&2):179-188, 1992.

Authors

Johann A. Makowsky

This author has not been identified. Look up 'Johann A. Makowsky' in Google

J.-C. Gregoire

This author has not been identified. Look up 'J.-C. Gregoire' in Google

Shmuel Sagiv

This author has not been identified. Look up 'Shmuel Sagiv' in Google