amalgame/commit
rdf meta decl for current_amalgame_module/2
author | Jacco van Ossenbruggen |
---|---|
Sat Aug 31 21:47:17 2013 +0200 | |
committer | Jacco van Ossenbruggen |
Sat Aug 31 21:47:17 2013 +0200 | |
commit | 35a2ac4e2901dc667917f3cf9ddb4ba579b47cc3 |
tree | 483b761b3b79337df2ed521ef0c0a247d423335d |
parent | a729c0b887bd80e00c224bd8cbd1156f70d8c01e |
Diff style: patch stat
diff --git a/lib/amalgame/amalgame_modules.pl b/lib/amalgame/amalgame_modules.pl index 03b7f96..f99a7aa 100644 --- a/lib/amalgame/amalgame_modules.pl +++ b/lib/amalgame/amalgame_modules.pl @@ -16,12 +16,13 @@ :- rdf_meta amalgame_module_property(r,?), amalgame_module_id(r,-), - amalgame_modules_of_type(r,-). + amalgame_modules_of_type(r,-), + current_amalgame_module(r, ?). %% current_amalgame_module(?URI, ?ModuleName) is nondet. % % True if Module is an amalgame module identified by URI. -% @see amalgame_module_id/2 for a det version that throws an +% @see amalgame_module_id/2 for a det version that throws an % existence_error if there is no module current_amalgame_module(URI, Module) :- @@ -33,7 +34,7 @@ current_amalgame_module(URI, Module) :- % % True if Module is an amalgame module identified by URI. % @error existence_error(amalgame_module) -% @see current_amalgame_module/2 for a notdet version +% @see current_amalgame_module/2 for a notdet version % that fails if there is no module. amalgame_module_id(URI, Module) :-