Logic programming inspired several designs for DNA-based inference systems 14,15,17,18, including an example of laboratory-scale DNA computing with a human-assisted protocol 16.