Visual Prolog предусматривает возможность отсечения, которое используется для прерывания поиска с возвратом. Как оно обозначается?