[rules-dev] Naive questions on rules

Hi All, I am not sure whether it is the right place to put this question here. Currently I am working on rules and got confused with some concepts: What are the relationships between: resolution, backward chaining, modus ponens, foward chaining, production rule system, prolog, logic programming? Can all forward chaining systems be considered as logic programming system? Some of these concepts seems overlap with each other. Can somebody kindly give me an answer to these questions. Thanks in advance. Best Regards Wei