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