[For reasons unknown, Kenny hates it when I do this, so...]
A new lisp-related paper has just appeared in the open source journal
PLoS One:
http://www.plosone.org/article/fetchArticle.action?
articleURI=info%3Adoi%2F10.1371%2Fjournal.pone.0000339
Deductive Biocomputing
Jeff Shrager, Richard Waldinger, Mark Stickel, J.P. Massar
As biologists increasingly rely upon computational tools, it is
imperative that they be able to appropriately apply these tools and
clearly understand the methods the tools employ. Such tools must have
access to all the relevant data and knowledge and, in some sense,
"understand" biology so that they can serve biologists' goals
appropriately and "explain" in biological terms how results are
computed. We describe a deduction-based approach to biocomputation
that semiautomatically combines knowledge, software, and data to
satisfy goals expressed in a high-level biological language. The
approach is implemented in an open source web-based biocomputing
platform called BioDeducta, which combines SRI's SNARK theorem prover
with the BioBike interactive integrated knowledge base. Through the
use of automated deduction guided by a biological subject domain
theory, this work is a step towards enabling biologists to
conveniently and efficiently marshal integrated knowledge, data, and
computational tools toward resolving complex biological queries. Both
SNARK and BioBike are written entirely in Common Lisp, and are offered
as open-source freeware.