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.

Abstract

Abstract is missing.