This story received a bit of coverage last month:
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 Logic Programming, in particular the ProGol system.
More details can be found on the group’s website.