Describir: Probabilistic Logic Programming under Maximum Entropy