Skip to main content

Thank you for visiting You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.

Biomolecular computing

Molecules that reason

DNA reactions can be used to implement simple logic programs.

This is a preview of subscription content, access via your institution

Access options

Buy article

Get time limited or full article access on ReadCube.


All prices are NET prices.

Figure 1: Model of the logic program {e(a,b). e(a,c). e(b,d). e(c,d). p(X,Y)←e(X,Y). p(X,Y)←e(X,Z),p(Z,Y).}, which describes a directed graph with edges from a to b, from a to c, from b to d and from c to d.


  1. Adleman, L. M. Science 266, 1021–1024 (1994).

    Article  CAS  Google Scholar 

  2. Ran, R., Kaplan, S. & Shapiro, E. Nature Nanotech. 4, 642–648 (2009).

    Article  CAS  Google Scholar 

  3. Kowalski, R. in Proc. IFIP Congress 569–574 (North Holland Publishing, 1974).

    Google Scholar 

  4. Colmerauer, A. & Roussel, P. in HOPL II: The Second ACM SIGPLAN Conference on History of Programming Languages 37–52 (Cambridge, Massachusetts, 1993).

    Book  Google Scholar 

  5. Warren, D. H. D. An Abstract Prolog Instruction Set: Technical Note 309 (SRI International, Menlo Park, California, 1983).

    Google Scholar 

  6. Sterling, L. & Shapiro, E. The Art of Prolog: Advanced Programming Techniques (MIT Press, 1986).

    Google Scholar 

Download references

Author information

Authors and Affiliations


Rights and permissions

Reprints and Permissions

About this article

Cite this article

Stefanovic, D. Molecules that reason. Nature Nanotech 4, 625–626 (2009).

Download citation

  • Issue Date:

  • DOI:


Quick links

Find nanotechnology articles, nanomaterial data and patents all in one place. Visit Nano by Nature Research