Textual Tree Trace Notation for Prolog: an Overview.
C. N. Taylor, J. B. H. du Boulay, Mukesh J. Patel
VenueBICLP
Year1994
ProceedingsICLP Workshop: Logic Programming and Education
DBLP recordconf/iclp/TaylorBP94 ↗
Browse the full ICLP paper archive.