a Herasimov Oleksandr 7 éve
308
Még több ilyen
REDO показує, що мало місце повернення.
FAIL показує коли доведення предиката завершується невдало
RETURN показує коли підціль доведена, у вікні трасування висвічується RETURN і викликається предикат.
CALL показує кожний раз, коли предикат викликається, ім’я предиката і значення його параметрів