99 prolog problems in SML