Skip to main content

Thank you for visiting nature.com. 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.

  • News & Views
  • Published:

Biomolecular computing

Molecules that reason

Nature Nanotechnology volume 4, pages 625–626 (2009)Cite this article

DNA reactions can be used to implement simple logic programs.

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

Access options

Buy this article

  • Purchase on Springer Link
  • Instant access to full article PDF
Buy now

Prices may be subject to local taxes which are calculated during checkout

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.

References

  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

  1. Darko Stefanovic is in the Department of Computer Science, University of New Mexico, Albuquerque, New Mexico 87131, USA. darko@cs.unm.edu,

    Darko Stefanovic

Authors
  1. Darko Stefanovic
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Stefanovic, D. Molecules that reason. Nature Nanotech 4, 625–626 (2009). https://doi.org/10.1038/nnano.2009.284

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1038/nnano.2009.284

Search

Advanced search

Quick links

Nature Briefing

Sign up for the Nature Briefing newsletter — what matters in science, free to your inbox daily.

Get the most important science stories of the day, free in your inbox. Sign up for Nature Briefing