prologが得意な人は行列積とかどんな風に書くのかな

自分で書くと、とても綺麗とはいえないコードになる