Данное утверждение не верно

Раздел: clauses обязателен в программе
Раздел: predicates обязателен в программе
Программу с разделом: goal можно компилировать
Программа с внешней целью находит все решения
Программа с внутренней целью находит все решения..

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.