FIX: Parser now works with Prolog Operators.

The new parser logic is based on recognizing Prolog Operators from the
input and building the Logic Expression using the Shunting-Yard algorithm.