Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples