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