MCPL is a simple typeless language which is based on BCPL; created by MartinRichards (creator of BCPL). It makes extensive use of pattern matching somewhat related to that used in ML and Prolog, and some other features come from C. http://www.cl.cam.ac.uk/users/mr/MCPL.html Example code in EightQueensInManyProgrammingLanguages.