Hidehisa Takahashi Etsuya Shibayama PRESET - A Debugging Environment for Prolog. 90-99 1985 conf/lp/1985 LP db/conf/lp/lp85.html#TakahashiS85 http://dx.doi.org/10.1007/3-540-16479-0_9