Comment by chrismaeda

Prolog is cool but has exponential complexity which makes it impractical for real world use.

The rete algorithm was supposed to be a solution but has anyone applied rete to a prolog implementation yet?