intervaldb now on github

intervaldb has moved from blipkit svn to githib. intervaldb is an SWI-Prolog wrapper for the nested containment list (NCList) C library distributed as part of PyGR. Query time is O(n+logN) where N is the size of the database and n is the size of the result set. It is primarily intended for indexing genomic data, [...]

Robot Scientist

This story received a bit of coverage last month: http://news.bbc.co.uk/2/hi/science/nature/7979113.stm [BBC] There are more details in the Science publication, “the automation of science”: The system generates scientific hypotheses about gene functions, then devises and carries out experiments to test these hypotheses. The system appears to be written in Prolog, with the hypothesis generation using Inductive/Abductive [...]