Explicit module qualifications

Several predicates are defined in another module.  Make it clear which module
that is.  Otherwise, Prolog may not find them at all.
Add missing meta_predicate declaration