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

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

        правильность
        эффективность
        простота, читабельность
        удобство модификации
        документированность
Принцип пошаговой детализации - хороший способ организации процесса разработки программ. Пошаговая детализация применима к отношениям, алгоритмам и структурам данных.
Следующие методы часто помогают находить идеи для совершенствования программ на Прологе:

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

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

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

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

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

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

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

Содержание раздела