Mon, 23 Nov 2009 19:42:52 +0100 | bulwahn | improving the setup for the tabled transitive closure thanks to usage of Andreas Lochbihler | file | diff | annotate |
Thu, 12 Nov 2009 20:38:57 +0100 | bulwahn | added a tabled implementation of the reflexive transitive closure | file | diff | annotate |