GNUにPrologぐらいあるんだが。
http://pauillac.inria.fr/~diaz/gnu-prolog/

気に入らないなら、codeをcontributeしまくって、自分好み
に誘導するのがbestだよ。

...日本のprolog屋がC/C++なんて書けるはずもないか。
無意味な論文積み上げて、博士や大学教員になる事しか考えて
ないからな。