寻找数据记录包含实用程序

Question

给定两个Datalog程序P1,P2我正在寻找任何编程语言中的实用程序/库，如果P1 contained in P2，则返回一个布尔值。