Datalog is a query and rule language for (deductive) databases that syntactically is a subset of Prolog.