Por ejemplo, en lenguajes declarativos como Lisp o Prolog.