|
|
|
|
|
|
by pierre
2057 days ago
|
|
|
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 |
|
|