I remember reading "The British Nationality Act as a logic program" (http://www.researchgate.net/publication/234805335_The_British_Nationality_Act_as_a_logic_pr

I remember reading "The British Nationality Act as a logic program" (http://www.researchgate.net/publication/234805335_The_British_Nationality_Act_as_a_logic_program http://www.researchgate.net/publication/234805335_The_Britis...) in CACM a long time ago; the "cited in" list seems to be a good place to look for subsequent efforts.