μKanrenてユニフィケーションの亜種みたいなもんだから多分どの言語でも大丈夫だぞ