I remember reading "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.