Abductive constraint logic programming by Bart Van Nuffelen