>>288
C++でユニフィケーションがいつでも書けることと
論理プログラミングに精通しているとは関係が
ありませんね。Prologを5年も粘っていれば
誰でも論理式が日常的なものになりますが、
どんなに優秀なC++のプログラマでも論理式は
別物です。
データモデルの構築などという領域では
C++やRuby、Pythonといった言語のプログラマには
想像もつかない奥行きがPrologにはあります。
安定したレベルでの環境に身を置かないとわからない
こともあるのでそういう意味で>>286は不完全で
一方的な見解ということになるでしょう。