Introduction - If you have any usage issues, please Google them yourself
Simple inference algorithm, the input rule base, and the fact that the library, modeled by ordinary txt file two libraries, can result in a rule introduced by the facts. Inference rules continue to choose the available rule base, each selection to the available rule, the back piece of the rule is no longer facts all add to the facts in the conclusions of facts expansion, by expanding the selection of facts to rule on the facts available next expansion again, until there is no available alternative rules so far. Instructions are included in the file, " Instructions .docx"