Text this: The Journal of Logic Programming