Справочник от Автор24
Нужна помощь?
Найдем эксперта за 5 минут
Подобрать эксперта
+2

Prolog (Пролог)

Предмет Программирование
👍 Проверено Автор24

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

Скачать

Научные статьи на тему «Prolog (Пролог)»

Функциональное программирование и интеллектуальные системы

Язык программирования PROLOG В языке программирования PROLOG (PROgramming LOGic написание программ в...
Далее система Пролога способна сама выстроить логическое обоснование и сделать вывод, исходя из начальной...
Типы предложений в языке PROLOG Самым простым предложением в Прологе считается факт....
Фактом является утверждение, которое для программы Пролог считается неоспоримой истиной....
Второй тип предложения PROLOG считается цель или вопрос.

Статья от экспертов

Реализация предиката для учета текстурных и спектральных признаков при распознавании объектов

В ИДСТУ СО РАН разработан и активно развивается логический метод распознавания объектов на растровых изображениях в рамках деформируемых моделей. Деформируемая модель задается при помощи логических правил с пространственными ограничениями. Процедура распознавания заключается в поиске комбинации положения объекта и других признаков, удовлетворяющих пространственным ограничениям, с наименьшим значением функции энергии. В статье предлагается реализация предиката texture для учета текстурных и спектральных признаков в процессе распознавания.

Научный журнал

Visual Prolog

Пролог (от словосочетания «ПРОграммирование в ЛОГике»), для которой характерен принцип визуального программирования...
Язык логического программирования Пролог позволяет решать различные задачи (в особенности из области...
Замечание 1 Являясь декларативным (а не императивным) языком программирования, Пролог основывается...
Это означает, что Пролог ориентирован не столько на разработку решений, сколько на систематизированное...
Среда программирования Visual Prolog позволяет создавать рабочие программы на языке Prolog, предоставляя

Статья от экспертов

Анализ способов формализаций документов для выполнения семантического поиска

Рассмотрены подходы к формированию представлений документов для семантических поисковых систем. Выделены особенности и достоинства использования программ-агентов Акторного Пролога, призванных извлекать знания из информационных источников глобальной сети.

Научный журнал

Еще термины по предмету «Программирование»

Абстрактный класс

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

🌟 Рекомендуем тебе

Статическая переменная

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

🌟 Рекомендуем тебе
Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

  1. Напиши термин
  2. Выбери определение из предложенных или загрузи свое
  3. Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
Нужна помощь с заданием?

Эксперт возьмёт заказ за 5 мин, 400 000 проверенных авторов помогут сдать работу в срок. Гарантия 20 дней, поможем начать и проконсультируем в Telegram-боте Автор24.

Перейти в Telegram Bot