有没有更快的方法来编译或索引大量事实以提高速度?我有大约 30K 形式的事实 linked(groupid,id)
并尝试查找给定 id 的连接,但这真的很慢。我使用规则
connected(Id1,Id2) :-
linked(Grp1,Id1),
linked(Grp1,Id2),
\+Id1=Id2.
connected(Id1,Id2) :-
connected(Id1,Id3),
connected(Id3,Id2),
\+Id1=Id2,!.