Execution Traces of a Prolog Virtual Machine

by University of Maryland at College Park. Department of Computer Science, Y. Chu, K. Itano · 1986