avoid depending on library/...

.gitignore

@@ -133,4 +133,6 @@ packages/bdd/cudd_config.h
 Makefile
 build
 Debug
-debug
+debug
+Release
+Build

library/atts.yap

@@ -52,8 +52,10 @@ and the following user defined predicates can be used:
 
 :- multifile
 	user:goal_expansion/3.
-:- multifile
-	user:term_expansion/2.
+    :- multifile
+    	user:term_expansion/2.
+        :- multifile
+        	attributed_module/3.
 
 :- dynamic existing_attribute/4.
 :- dynamic modules_with_attributes/1.
@@ -270,13 +272,6 @@ do_verify_attributes([Mod|Mods], AttVar, Binding, [Mod:Goal|Goals]) :-
 do_verify_attributes([_|Mods], AttVar, Binding, Goals) :-
 	do_verify_attributes(Mods, AttVar, Binding, Goals).
 
-has_modules_with_attributes(LMods) :-
-    modules_with_attributes(LMods).
-
-module_has_attributes(Mod) :-
-    attributed_module(Mod, _, _), !.
-
-
 /**
   @}
 */

pl/attributes.yap

@@ -49,6 +49,13 @@
 :- dynamic attributes:modules_with_attributes/1.
 :- dynamic attributes:attributed_module/3.
 
+    :- multifile
+        attributes:attributed_module/3.
+
+:- dynamic existing_attribute/4.
+:- dynamic modules_with_attributes/1.
+:- dynamic attributed_module/3.
+
 
 /** @pred get_attr(+ _Var_,+ _Module_,- _Value_)
 
@@ -371,6 +378,10 @@ attvar_residuals(att(Module,Value,As), V) -->
 	    attvar_residuals(As, V)
 	).
 
+    attributes:module_has_attributes(Mod) :-
+        attributes:attributed_module(Mod, _, _), !.
+
+
 list([])     --> [].
 list([L|Ls]) --> [L], list(Ls).