sentence1: datalog , a database query language that is a subset of prolog , has been adopted for program analysis by some researchers .
sentence2: the logic programming language datalog has become a popular domain-specific language for writing static analyses .