http://www.compute.dtu.dk/english/research/Research-sections/Algolog