Text this: Reasoning with logic programming /