Спеки и архитектура · язык логического программирования
Язык, в котором программа — это факты и правила вывода, а движок сам ищет ответ на вопрос. Факты: «бронь б1 — комната 2, с 10 до 11». Правило: «две брони пересекаются, если комната одна и время накладывается». Вопрос: «с какими бронями пересекается б1?». Создан в 1972 году во Франции. На Prolog можно написать любую программу, в том числе ту, что никогда не закончится, поэтому на него действует теорема Райса.