Inverseimplies,mulagg,orragg,gnuprologtransformer