Transformations of Logic Programs with Goals as Arguments

Alberto Pettorossi Maurizio Proietti Transformations of Logic Programs with Goals as Arguments http://arxiv.org/abs/cs/0307022 2003 CoRR cs.PL/0307022 db/journals/corr/corr0307.html#cs-PL-0307022