Obvious question: can Prolog do reasoning?
If your definition of reasoning excludes Prolog, then... I'm not sure what to say!