C/Visual C - Ayuda con Programacion Algebraica

Hola...
Espero que me ayuden, quiero saber cuales son los lenguajes de Programacion algebraica.
C es de procedimiento?
Gracias...

C es de procedimiento y de función, en realidad más de función.
Ahora solo te falta especificar si los lenguajes que buscas son Declarativos o Imperativos.
Si son declarativos, tienes por ejemplo el lenguaje Haskell (funcional) y el Maude (OO).
Si son Imperativos, C, Pascal, Modula-2, Basic... casi todos.
De hecho, lo son todos menos los orientados a programación lógica. como Prolog.