Uses the  Bottom Up Proceduce (forward chaining) to solve a 3 value logic Knowledge Base