Fundamental Errors in Legal Logic Programming

It is becoming a commonplace to see substantial claims made for the utility of logic programming – especially that based on the PROLOG programming language – as both an effective programming language and a language which offers new opportunities to apply computer science to novel areas. An example of the latter is the claim made by a team at Imperial College, London to have formalised – in part – the British Nationality Act (1981). I analyse this claim and suggest that the team have a muddled view of the legal process and of the usefulness of logic programming in that field, and suggest that this incorrect perspective might well pervade other areas in which the team claim success. In effect, I wish to dispute the power of logical programming.