Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial

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.