Lenguaje de programación simbólica, similar al Lisp, desarrollado en la Universidad de Edimburgh, Escocia, en 1978 por Robin Milner. Inspirado en el ISWIM, se creó como metalenguaje de programación para un sistema automático de demostraciones formales.
