FOL-prover
FOL-prover is a small and simple first order logic prover in JS.
Usage
Open index.html in browser.
Testing
Install Node.js
$ npm install karma --save-dev
$ npm install karma-jasmine@2_0 --save-dev
$ npm install karma-phantomjs-launcher --save-dev
$ karma start