SCBM: A New Backtracking Architecture for Direct C Compilation of Prolog

Abstract