Text this: From logic design to logic programming :