Alice es un lenguaje de programación funcional diseñado en el Programming Systems Lab de la Universidad del Sarre.