../../Task/Zebra-puzzle/Standard-ML