Text this: From logic to logic programming