The Tacle system that learns formulae and constraints in spreadsheet and tabular data was presented. It combines ideas from program induction with principles of constraints learning and logic programming. Tacle starts from one or more tables in .csv format and attempts to find the constraints and formulae that hold in the dataset. This is work that was published in the Machine Learning Journal.