The paper provides a new approach for automated reasoning in a logic program using extended Petri net models. The design includes extension of classical linear resolution of first order logic clauses ...