ProgrammingwithaDifferentiableForthInterpreterMatkoBosˇnjak1TimRockta¨schel2JasonNaradowsky3SebastianRiedel1Abstractpartialproceduralbackgroundknowledge:onemayknowtheroughstructureoftheprogram,or...