Anyway, getting back to term_expansion/2, it’s generally frowned upon to define predicates in module system (Term_expansion/2 in a module, user or system? - #5 by jan) and the documentation says to avoid defining user:term_expansion/2 (although I don’ know enough about other dialects such as SICStus to know why it should be avoided).
1 Like