Markov Logic frontend API (fluent interface); POC for the inference task;