0 Estados Unidos, 1941 -Matemático. Ha desarrollado su actividad en el campo de la resolución automática de problemas y la lógica computacional. Es una de las figuras fundamentales en la creación y desarrollo de la programación lógica en general y del lenguaje Prolog en particular.2004-09-09
