Text this: Types in logic programming /