Logic Programming

Hi:
I am now studying xsb, an extended version of SB Prolog and considering the implementation of a phylogenetic tree databases in terms of logic programming. It sounds quite promising. Though I need to review the time complexity for transitivity computations.
Munir

Molecular Evolution: Mice Given Bat-like Forelimbs Through Gene Switch

http://www.sciencedaily.com/releases/2008/01/080114173923.htm