Ejemplos: Prolog, Lisp.