Programming from examples