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

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 http://www.doc.ic.ac.uk/~rak/papers/British%20N ationality%20Act.pdf