Its input language is based on DATALOG and graph rewriting.

• 它的输入语言是基于DATALOG和图形再编写。