The British Nationality Act as a Prolog Program (1986) [pdf] (ic.ac.uk)