attributes addition to the unification algorithm, more guile-log functions get a module attachement and can therefore get better treatment in prolog e.g. nice printout and read_term/write_term behavior