Synopsis

Our work brings together the ancient and the modern in science. We show how logical syllogisms, dating back more than two millennia, can be a natural foundation for a powerful biomolecular computing system. In addition to Aristotelian logic and biochemistry, our work draws on logic programming, an advanced computer programming approach based on logic, to show the first high-level programming language with a molecular-scale implementation.