Язык программирования Пролог

Язык программирования Пролог - язык логического программирования, программа на котором состоит:

- из логических утверждений, образующих базу данных; и

- из правила вывода новых утверждений из известных.