INAPのProceedingsはひとつも読んだことがないので発言権はないかも知れないが…

個人的にprologを使っていて今ひとつなところは、

1. 遅い。
2. 仕様記述言語やプロトタイプ開発言語として使いたいが、prologと他の非論理型言語
　の距離が遠いため、仕様と実現が乖離しやすい。
3. 実行可能な仕様にするためにcut等を入れたり、バックトラックの大域的な挙動を考慮
　する必要がある。
4. assert/retractは破壊的で美しくない。
5. 集合を扱うのが面倒（これはこのスレッドで常々言われている通り）。
6. 処理系依存な述語を使う羽目になることが多い。

あたり。将来この辺が改善される見込みはあるのだろうか…