Datalog

A declarative logic programming language that includes a finite set of facts and rules and can be used in deductive databases.

داتا لوج