Probabilistic Programming For Knowledge Discovery — Programming Keynou