PROLOG

PROgramming in Logic

язык логического программирования