rdf-mt/commit
Fixed subgraph/2
| author | Jan Wielemaker |
|---|---|
| Tue Dec 17 12:13:08 2013 +0100 | |
| committer | Jan Wielemaker |
| Tue Dec 17 12:13:08 2013 +0100 | |
| commit | 7f433cc6fc33dc404698c4888d678336d9fdedf3 |
| tree | 9daeefb5d82e2a1124456e637a1d7b7ce8987981 |
| parent | abe9ff29c17bb7220971fde39b1a612fff1cf211 |
Diff style: patch stat
diff --git a/lib/rdf_mt/graph_properties.pl b/lib/rdf_mt/graph_properties.pl index 00df69b..18467cc 100644 --- a/lib/rdf_mt/graph_properties.pl +++ b/lib/rdf_mt/graph_properties.pl @@ -120,6 +120,8 @@ is_subgraph(Sub, Super) :- subgraph([], _). subgraph([H|T0], [H|T]) :- subgraph(T0, T). +subgraph(T0, [_|T]) :- + subgraph(T0, T). %% is_proper_subgraph(+Sub, +Super) is semidet.