Название Пролог (Prolog) произошло от словосочетания «Программирование при помощи логики» (Prolog - PROgramming in LOGic). Prolog стал воплощением идеи использования логики в качестве языка программирования, которая зародилась в начале 1970-х годов.

Первыми исследователями, которые занялись разработкой этой идеи, были Роберт Ковальски (Robert Kowalski) из Эдинбурга (теоретические основы), Маартен ван Эмден (Maarten van Emden) из Эдинбурга (экспериментальная демонстрационная система) и Ален Колмероэ (Alain Colmerauer) из Марселя (реализация). Популяризации языка Prolog во многом способствовала эффективная реализация этой программы в середине 1970-х годов Дэвидом Д. Г. Уорреном (David D.H. Warren) из Эдинбурга.

К числу новейших достижений в этой области относятся средства программирования на основе логики ограничений (Constraint Logic Programming-CLP), которые обычно реализуются в составе системы Prolog. Средства CLP показали себя на практике как исключительно гибкий инструмент для решения задач составления расписаний и планирования материально-технического снабжения.

В 1996 году был опубликован официальный стандарт ISO языка Prolog. В это же время разрабатываются множество коммерческих реализаций Пролога практически для всех типов компьютеров. К наиболее известным можно отнести CProlog, Quintus Prolog, Silogic Knowledge Workbench, Prolog–2, Arity Prolog, Тurbo Prolog, SWI-Prolog, Visual Prolog и др.

Наибольшую популярность в России получают Turbo Prolog и SWI–Prolog.

!!Рекомендуем: Семейная Энциклопедия Здоровья ⇒ Что должен знать современный человек? ⇒ Самоанализ. Работа над собой ⇒ Оглавление ⇒ Главная сайта