Prologの特長、楽できるところはパタンマッチとユニフィケーションじゃないか