Figure 1: Molecular implementation of propositional logic statements and deductions. Using this system one can specify ... logic program as well as a robot control program that assembles these ...