predicate logic-based language в энциклопедиях
язык (программирования), основанный на логике предикатов