AbstractKeywordsProgram synthesisincomplete specificationsinductive inferencelogic programsintegrity constraints