C source code for a pretty stripped down basic version of a backward chaining inference engine working in first order logic