EulerMoz - Inference Engine in Javascript
Wednesday, January 25th, 2006EulerMoz 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.