> and they're just mathematical systems Obvious question: can Prolog do reasoning? If your definition of reasoning excludes Prolog, then... I'm not sure what

> and they're just mathematical systems Obvious question: can Prolog do reasoning? If your definition of reasoning excludes Prolog, then... I'm not sure what to say!