terpret : a probabilistic programming language for program induction .
Spreadsheet data manipulation using examples