GNU Prologで動作を確認した。