Восстанавливаемость программного обеспечения
свойство, характеризующее возможность приспосабливаться к обнаружению ошибок и их устранению.
Prolog (Пролог)
Предмет
Программирование
👍 Проверено
Автор24
в основу которого положена математическая модель теории исчисления предикатов, строится из последовательности фактов и правил, а затем формулируется утверждение, которое Пролог будет пытаться доказать с помощью введенных правил.
Научные статьи на тему «Prolog (Пролог)»
Функциональное программирование и интеллектуальные системы
Язык программирования PROLOG
В языке программирования PROLOG (PROgramming LOGic написание программ в...
Далее система Пролога способна сама выстроить логическое обоснование и сделать вывод, исходя из начальной...
Типы предложений в языке PROLOG
Самым простым предложением в Прологе считается факт....
Фактом является утверждение, которое для программы Пролог считается неоспоримой истиной....
Второй тип предложения PROLOG считается цель или вопрос.
Статья от экспертов
Реализация предиката для учета текстурных и спектральных признаков при распознавании объектов
В ИДСТУ СО РАН разработан и активно развивается логический метод распознавания объектов на растровых изображениях в рамках деформируемых моделей. Деформируемая модель задается при помощи логических правил с пространственными ограничениями. Процедура распознавания заключается в поиске комбинации положения объекта и других признаков, удовлетворяющих пространственным ограничениям, с наименьшим значением функции энергии. В статье предлагается реализация предиката texture для учета текстурных и спектральных признаков в процессе распознавания.
Creative Commons
Научный журнал
Visual Prolog
Пролог (от словосочетания «ПРОграммирование в ЛОГике»), для которой характерен принцип визуального программирования...
Язык логического программирования Пролог позволяет решать различные задачи (в особенности из области...
Замечание 1
Являясь декларативным (а не императивным) языком программирования, Пролог основывается...
Это означает, что Пролог ориентирован не столько на разработку решений, сколько на систематизированное...
Среда программирования Visual Prolog позволяет создавать рабочие программы на языке Prolog, предоставляя
Статья от экспертов
Анализ способов формализаций документов для выполнения семантического поиска
Рассмотрены подходы к формированию представлений документов для семантических поисковых систем. Выделены особенности и достоинства использования программ-агентов Акторного Пролога, призванных извлекать знания из информационных источников глобальной сети.
Creative Commons
Научный журнал
Еще термины по предмету «Программирование»
Отладчики
программные средства, выполняющие отладку и проверку готовых программ, поиск алгоритмических и семантических ошибок в программе и тестирование программ.
Цикл с постусловием
цикл, в котором условие проверяется после выполнения тела цикла.
- Пролог
- Язык Prolog
- Вопрос в Прологе
- Правила в Прологе
- Пролог (от лат. Prae ‘перед’ и греч. Logos ‘слово, речь’)
- Абстрактный класс
- Абстрактный родительский класс
- Активация путей
- Алгоритм рекурсивный
- Алгоритм inplace_merge
- Ввод-вывод
- Внутренняя память машины Тьюринга
- Отладчики
- Постусловие
- Расстояние между двумя блоками
- Символьный (литерный) тип
- Синхронные аппаратные прерывания, исключения (exceptions)
- Система счисления (СС)
- Системное ПО
- Системы программирования
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
