|
Ты предлагаешь переборный алгоритм.
По сути всякое решение на Прологе имеет переборную природу, впрочем весьма эффективную для перебора.
То, что ты предлагаешь примерно соответствует внутренней реализации Пролога этой задачи(там внутри все так и работает - задаем спецификацию, подставляем решение, не удовлетворяет? - берем следующий набор значений).
Так вот зачем тогда писать алгоритм, если можно просто написать требования.
Я сторонник использования Пролога в задачах перебороного характера и работе с текстом(хотя на счет 2-го можно поспорить) - проще получается для программиста.
Под сложностью подразумевал максимальное количество ветвей перебора.
|