Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 139 стр.

     Теперь наша программа полностью завершена и при вводе запроса выдаст все возможные
алгоритмы переливания. Всего, как выясняется, существует двадцать алгоритмов, в каждый из
которых входит от десяти до двадцати переливаний. Если мы будем записывать каждое состояние
тройкой чисел, то кратчайшее решение будет выглядеть так:
                          10 0 0
                          3 7 0
                          3 4 3
                          6 4 0
                          6 1 3
                          9 1 0
                          9 0 1
                          2 7 1
                          2 5 3
                          5 5 0


  Из этого примера можно сделать вывод: говоря о том, что для решения задачи на языке Пролог
надо только переформулировать ее условия на строгом языке, мы отчасти вводим читателя в
заблуждение. Такая переформулировка - процесс далеко не тривиальный, при этом могут быть
сделаны ошибки (без которых, как известно, не обходится построение любой программы на любом
языке). Выявление ошибок может потребовать многочисленных запусков программы на
выполнение, т.е. того, что в программировании называется отладкой программы. Для облегчения
отладки   в   Прологе   предусмотрены   специальные    средства,   позволяющие   программисту
прослеживать выполнение программы шаг за шагом. Таким образом, деятельность по решению
сложных задач с помощью логического программирования требует от программиста значительных
интеллектуальных усилий. Логическое программирование — не панацея от всех бед, а все-таки
именно методика программирования. Программы в рамках логического программирования, могут
быть во много раз меньше, чем в процедурном программировании. Иное дело, что усилия,
затрачиваемые на разработку программы в рамках логического программирования, могут быть во
много раз меньше, чем в процедурном программировании.




                                             139