Abductive constraint logic programming door Bart Van Nuffelen