Given two Datalog programs P1,P2 I am looking for a utility/library in any programming language that returns a boolean if the P1 contained in P2.
Asked
Active
Viewed 30 times
2
Shevach
- 717
- 9
- 25
-
Since this is a [software recommendation question](https://meta.stackexchange.com/questions/199411/where-can-i-ask-a-question-about-finding-general-software-that-meets-certain-req), it's probably off-topic on Stack Overflow. – Anderson Green Feb 25 '19 at 03:14