Un paradigma de programación informática basado en funciones matemáticas. Una de las áreas en que se emplea este tipo de lenguaje de programación es la inteligencia artificial.