Mark A. Friedman A Characterization of Prolog Execution 1992 Univ. of Wisconsin-Madison