Datalog is a declarative logic programming language that syntactically is a subset of Prolog. wikipedia 
It is often used as a query language for deductive databases. In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, cloud computing and machine learning.