作者:Herasimov Oleksandr 8 年以前
388
更多类似内容
REDO показує, що мало місце повернення.
FAIL показує коли доведення предиката завершується невдало
RETURN показує коли підціль доведена, у вікні трасування висвічується RETURN і викликається предикат.
CALL показує кожний раз, коли предикат викликається, ім’я предиката і значення його параметрів