Text this: The logic programming paradigm