1% SWI version. 2% Since in SWI the name of the attribute is also the name of the module, 3% we need 2 modules to define the 2 required attributes 4 5:- module(quantif, 6 [% From module quant: 7 quant/2, 8 set_term_quantification/2, 9 get_quant/2, 10 set_quant/2, 11 is_term_quantified/2, 12 is_unquantified/1, 13 forall/1, forallf/1, exists/1, existsf/1, 14 is_universal/1, 15 is_existential/1, 16 print_quant/0, print_quant/1, %FOR THE DEBUGGER 17 18 % From module restrictions: 19 set_restriction/1, 20 set_restriction/2, 21 get_restrictions/2, 22 set_restriction_list/1, 23 set_restriction_list/2, 24 st/1, st/2 25 ]). 26 27%:- reexport([quant,restrictions]). In SICStus there is no reexport, so I do it by hand 28:- use_module(quant). 29:- use_module(restrictions).