0.11.3

Giovanni Ciatto

@gciatto-unibo

cb348c39 · change package of Objectifier, fixing #100 · Sep 10, 2020

+ abolish/1 + current_prolog_flag/2 + clause/2 + copy_term/2 + once/1 + repeat/0