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

提问于 2024-05-03T20:36:33+08:00

浏览次

2

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

相关问题