Text this: From logic programming to prolog