Datalog is the language typically used to specify facts, rules and queries in deductive databases.
Datalog это язык, обычно используемый для указания фактов, правил и запросов в дедуктивных базах данных.