Директивы check_determ и nondeterm

Директива check_determ включает проверку неопределенных предложений.

Когда применяется директива check_determ, если предложение в вшей прогрм-

ме неопределеное, Турбо Пролог даст во время компиляции предупреждение.

Чтобы предикаты, которые вы постоили неопределенными, не отмечались,

можно использовать перед описанием таких предикатов директиву nondeterm.

Примечание: Мы настоятельно рхклмендуем вам использовать директиву

nondeterm для описания неопределенных предикатов, когда вы использу-

ете директиву компилятора check4eterm. Это укажет, какие части вашей

программы разработаны так, что она является неопределенной из-за

построения, что сбережет время отладки.