Comment by pierre

Logic oriented programming is really well suit for this problem.

Most complaw research happen in the logic department of universities.

- blawx.com use ergo 2 in the backend

- Kowalski ( author of iso prolog ) wrote a paper on the topic in the 80's http://www.doc.ic.ac.uk/~rak/papers/British%20N ationality%20Act.pdf