deductive database

Дедуктивная база данных