EulerMoz is an inference engine written in Javascript. Based on the original Euler proof mechanism.
> EulerMoz is an inference engine supporting logic based proofs based on EulerSharp project.
Particletree · Quick Guide to Prototype
> JavaScript’s increasing popularity throughout the web makes it more important than ever to make sure our client side code is implemented with a nice mix of stability, speed, and reusability. One of the best ways for accomplishing this is to use a simple library and syntax to use as a foundation for every project. Thankfully, Sam Stephenson created an amazing library of functions that we can rely on called Prototype.js to ease our JavaScript development practices.