Резюме

Резюме

• Для оценки качества программы существует несколько критериев: 

  правильность

  эффективность

  простота, читабельность

  удобство модификации

  документированность

• Принцип пошаговой детализации — хороший способ организации процесса разработки программ. Пошаговая детализация применима к отношениям, алгоритмам и структурам данных.

• Следующие методы часто помогают находить идеи для совершенствования программ на Прологе:

  Применение рекурсии: выявить граничные и общие случаи рекурсивного определения.

  Обобщение: рассмотреть такую более общую задачу, которую проще решить, чем исходную.

  Использование рисунков: графическое представление помогает в выявлении важных отношений.

• Полезно следовать некоторым стилистическим соглашениям для уменьшения опасности внесения ошибок в программы и создания программ, легких для чтения, отладки и модификации.

• В пролог-системах обычно имеются средства отладки. Наиболее полезными являются средства трассировки программ.

• Существует много способов повышения эффективности программы. Наиболее простые способы включают в себя:

  изменение порядка целей и предложений

  управляемый перебор при помощи введения отсечений

  запоминание (с помощью assert) решений, которые иначе пришлось бы перевычислять

Более тонкие и радикальные методы связаны с улучшением алгоритмов (особенно, в части повышения эффективности перебора) и с совершенствованием структур данных.