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

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