EulerMoz - Inference Engine in Javascript

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.

Popular posts from this blog

Lists and arrays in Dart

Maps and hashes in Dart

Converting Array to List in Scala