Prologの規格にPrologと型という概念は相容れないという記述でもあるのか?
教えてくれ