A couple of quick notes. First, AI::Prolog is useful when there's simple pattern matching, but it's very slow. If you have a large search space, it's unusable. Also, I've always wanted to add support for DCDs (declarative clause grammars) which would make natural language processing much easier.