Logic Programming : from NLP to NLU ?
Inference and learning in probabilistic logic programs using weighted Boolean formulas