Datalog

論理型プログラミング言語