Stav dette: Meta-programmming in logic :