Text this: Constructing logic programs /