Open-source Markov Logic Network inference engine, updated for compatibility with PostgreSQL 9.3