On Thu, 21 Aug 2014 11:58:54 +1000 (EST), Julien Fischer <jfischer at opturion.com> wrote: > goal_to_conj_list isn't a seldom used predicate, pretty much every > HLDS->HLDS transformation uses it. That is why my proposed diff leaves it in hlds_goal.m, even though this reduces the module's cohesion a bit. Zoltan.