@vzach

The Transparent Prolog Machine (TPM): an execution model and graphical debugger for logic programming

, and . Journal of Logic Programming, 5 (4): 277-342 (1988)

Links and resources

Tags