rdf-mt/commit
Optimization
author | Jan Wielemaker |
---|---|
Tue Dec 17 12:14:51 2013 +0100 | |
committer | Jan Wielemaker |
Tue Dec 17 12:14:51 2013 +0100 | |
commit | 60fe8afb1cd2991d9de70d0773ccfa1cc1953332 |
tree | 1aa46341b6226f180d1fb99dc5a25dc1345c73d2 |
parent | 9e9893ea5ae56bd3f56884c1418cea93471172f1 |
Diff style: patch stat
diff --git a/lib/rdf_mt/graph_properties.pl b/lib/rdf_mt/graph_properties.pl index c8c7969..0fa9c9b 100644 --- a/lib/rdf_mt/graph_properties.pl +++ b/lib/rdf_mt/graph_properties.pl @@ -163,6 +163,6 @@ is_proper_instance_of_graph(Instance, Graph) :- simply_entails(G, E) :- length(E, Len), - subgraph(Sub, G), length(Sub, Len), + subgraph(Sub, G), is_instance_of_graph(Sub, E), !.