Macro processing in Prolog - Kondoh, Sei-ich; Chikayama, Takashi (1988)