Есть функциональный язык Рефал, который так же не основан на лямбда-исчислении.
Функциональное программирование основанно на понятии функции - единственный результат которой содерится в возвращаемом значении, которое определено однозначно.
Пролог (и некоторые другие языки - Mercurry, Curry) основан на более общем понятии - отношения.
И функциональное, и реляционное программирование иногда называют декларативным, подчеркивая его отличие от императивного.