Baudouin Le Charlier Pascal Van Hentenryck Reexecution in Abstract Interpretation of Prolog 209-270 1995 32 Acta Inf. 3 db/journals/acta/acta32.html#CharlierH95