Prolog

Определение

Язык логического программирования, используемый для дедуктивных рассуждений и символьного вывода в нейросимволических системах.