solutions to 99 prolog problems in sml, https://sites.google.com/site/prologsite/prolog-problems