Describing Prolog by Its Interpretation and Compilation

Jacques Cohen. Describing Prolog by Its Interpretation and Compilation. Communications of the ACM, 28(12):1311-1324, 1985.

Abstract

Abstract is missing.