我必须找到多个事实集（数据库）的逻辑一致的子集。是否有一种具有内置功能的逻辑编程语言可以做到这一点？如果没有，是否有允许同时操作多个事实数据库的逻辑编程语言？
例如，我可以为每个事实使用一个额外的对象来表示它属于哪个数据库，例如：
class(1, elephant, mammal)
class(2, elephant, mammal)
class(3, elephant, fish)
在这种情况下，数据库1和2是一致的。数据库3与其他的不一致。我正在寻找本地语言机制来避免像这个例子这样的实现“技巧”。