An Extended Warren Abstract Machine for the Execution of Structured Logic Programs

Evelina Lamma, Paola Mello, Antonio Natali. An Extended Warren Abstract Machine for the Execution of Structured Logic Programs. Journal of Logic and Algebraic Programming, 14(3&4):187-222, 1992.

Abstract

Abstract is missing.