More here: https://en.wikipedia.org/wiki/BioBIKE https://en.wikipedia.org/wiki/BioBIKE It was actually a multi-user, multi-tenancy, biologically-knowledgable l

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