Errores fundamentales en la programación lógica legal

Se está volviendo común ver afirmaciones sustanciales sobre la utilidad de la programación lógica, especialmente aquella basada en el lenguaje de programación PROLOG, tanto como un lenguaje de programación eficaz como un lenguaje que ofrece nuevas oportunidades para aplicar la informática en áreas novedosas. Un ejemplo de esto es la afirmación hecha por un equipo en Imperial College, Londres, de haber formalizado, en parte, el British Nationality Act (1981). Analizo esta afirmación y sugiero que el equipo tiene una visión confusa del proceso legal y de la utilidad de la programación lógica en ese campo, y sugiero que esta perspectiva incorrecta podría permear otras áreas en las que el equipo afirma tener éxito. En efecto, deseo cuestionar el poder de la programación lógica.