最近日本語入力及び出力できるPrologはないですか？
例えば、述語など日本語で定義したり、日本語で返したりなど。