Dominique Snyers

• From logic design to logic programming