2.2.3 Раздел описания предложений

Этот раздел можно считать основным разделом программы, потому что именно в нем содержатся факты и правила, реализующие пользовательские предикаты. Начинается этот раздел со служебного слова clauses.

При попытке удовлетворения цели TURBO PROLOG работает с самого начала раздела clauses, просматривая в процессе поиска последовательно каждый факт или правило. По мере прохождения раздела clauses TURBO PROLOG устанавливает внутренние указатели после каждого выражения, которое удовлетворяет текущей подцели. Если такое выражение не является частью ведущего к решению логического пути, то TURBO PROLOG возвращается к установленному указателю и ищет другое соответствие. Такой процесс называется поиском с возвратом ( backtracking ).