Llenguatge de programació dissenyat el 1960 al MIT i àmpliament modificat el 1966.
Basat en la teoria de les funcions recursives permet de tractar llistes amb una gran flexibilitat. Considerat un llenguatge difícil i minoritari, és especialment utilitzat en aplicacions d'intel·ligència artificial.