rdf-mt/commit
Optimize by using length
| author | Jan Wielemaker |
|---|---|
| Tue Dec 17 12:13:43 2013 +0100 | |
| committer | Jan Wielemaker |
| Tue Dec 17 12:13:43 2013 +0100 | |
| commit | 9e9893ea5ae56bd3f56884c1418cea93471172f1 |
| tree | 461914a105258be820b1226f935afe94605534c1 |
| parent | 7f433cc6fc33dc404698c4888d678336d9fdedf3 |
Diff style: patch stat
diff --git a/lib/rdf_mt/graph_properties.pl b/lib/rdf_mt/graph_properties.pl index 18467cc..c8c7969 100644 --- a/lib/rdf_mt/graph_properties.pl +++ b/lib/rdf_mt/graph_properties.pl @@ -162,5 +162,7 @@ is_proper_instance_of_graph(Instance, Graph) :- %% simply_entails(+Graph1, +Graph2) is semidet. simply_entails(G, E) :- + length(E, Len), subgraph(Sub, G), + length(Sub, Len), is_instance_of_graph(Sub, E), !.