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

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