In this post, we are going to explore about inference first order logic, especially the forward and backward chainning. What the purpose of forward or backward chainning? is it related to a chain? Well yes or no, yes but in term of logical chain. Chainning in the term of this post is actually a reasonning. So when we talked a forward chainning, in short, we talked about forward reasonning method. as well as backward chainning.