General-purpose Declarative Inductive Programming with Domain-Specific Background Knowledge for Data Wrangling Automation