av Herasimov Oleksandr för 7 årar sedan
335
Mer av detta
REDO показує, що мало місце повернення.
FAIL показує коли доведення предиката завершується невдало
RETURN показує коли підціль доведена, у вікні трасування висвічується RETURN і викликається предикат.
CALL показує кожний раз, коли предикат викликається, ім’я предиката і значення його параметрів