PRESET - A Debugging Environment for Prolog. - Hidehisa Takahashi; Etsuya Shibayama (LP, 1985)