Turbo Prolog 2.0

Название: Turbo Prolog
Версия: 2.0
Год выпуска: 1986
Язык: английский
Производитель: Borland International, Inc
Размер: 452 Кб
Платформа: PC
Формат: exe
Таблетка: не требуется
Предмет: Программирование, Информатика


Описание:
Пролог (Prolog) - это язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.

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

Факты в языке Пролог описываются логическими предикатами с конкретными значениями. Правила в Прологе записываются в форме правил логического вывода с логическими заключениями и списком логических условий.

Пролог применяется для разработки систем искусственного интелекта.