Prologで仕様記述できますか?