Knowledge-Driven Robot Program Synthesis from Human VR Demonstrations