Parsing Prolog traces using a DCG grammar

Ephraim Paz

This paper is not available online