これならPrologでいいのでは。