…

Datalog

Определение

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