Text this: Teaching logic programming: a review