amalgame/commit

rdf meta decl for current_amalgame_module/2

authorJacco van Ossenbruggen
Sat Aug 31 21:47:17 2013 +0200
committerJacco van Ossenbruggen
Sat Aug 31 21:47:17 2013 +0200
commit35a2ac4e2901dc667917f3cf9ddb4ba579b47cc3
tree483b761b3b79337df2ed521ef0c0a247d423335d
parenta729c0b887bd80e00c224bd8cbd1156f70d8c01e
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) :-