Text this: Synthesizing Recursive Logic Programs by Inverting General Resolution