Datalog - What is Datalog used for?

Datalog is a Prolog-based query language that makes use of first-order logic, most especially Horn clauses. Its usage to model domains or describe systems is widespread and has its origins in the earliest days of logic programming.