More here: <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;BioBIKE" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;BioBIKE</a><p>It was actually a multi-user, multi-tenancy, biologically-knowledgable lisp machine, sort of like Wolfram Alpha (where Lisp -&gt; Mathematica, and without the constraints that make WA pretty much useless for anything except one shot answering of random questions).<p>It even had a theorem prover!<p>Unfortunately, it was built in 2002, which is well before there were well worked out standards for bio&#x2F;omic representation, and also before the idea of through-the-web programming (PaaS?) - at least in the SalesForce sense - caught on.<p>Seems like yet another idea that was too far ahead of its time to succeed.