jonka Herasimov Oleksandr 7 vuotta sitten
317
Lisää tämän kaltaisia
REDO показує, що мало місце повернення.
FAIL показує коли доведення предиката завершується невдало
RETURN показує коли підціль доведена, у вікні трасування висвічується RETURN і викликається предикат.
CALL показує кожний раз, коли предикат викликається, ім’я предиката і значення його параметрів