Text this: From standard logic to logic programming :