Text this: A pure reasoning engine for programming by demonstration / by Martin R. Frank and James D. Foley.