SML for the Poplog system from the University of Sussex, UK.
Try this search on Wikipedia, OneLook, Google