A general purpose inference engine in C