VAEL: BridgingVariationalAutoencodersand ProbabilisticLogicProgramming