amalgame/commit
ADDED: rdf_meta declaration for rdf_cp_graph
| author | Jacco van Ossenbruggen |
|---|---|
| Thu Mar 5 10:06:28 2020 +0100 | |
| committer | Jacco van Ossenbruggen |
| Thu Mar 5 10:06:28 2020 +0100 | |
| commit | 94765ab80dd7809536703862edd81fb0dd399fdd |
| tree | 4eeb0b15232e1b6365ad2b3b6309e5a4dff99281 |
| parent | a1cef13115d11bf642b56466f0f1aa74d094ba49 |
Diff style: patch stat
diff --git a/lib/amalgame/rdf_util.pl b/lib/amalgame/rdf_util.pl index b697482..427048e 100644 --- a/lib/amalgame/rdf_util.pl +++ b/lib/amalgame/rdf_util.pl @@ -19,7 +19,8 @@ :- rdf_meta rdf_has(r,r,o,r,r), rdf_lang(r,r,-), - rdf_lang(r,r,+,-). + rdf_lang(r,r,+,-), + rdf_cp_graph(r,r,+). %% rdf_has(S,P,O,RP,G) is nondet %