EYE reasoning on Node.
It participates in dialogues leading to necessary and sufficient answers, supported by proof steps, so that action can take place.
It uses the eye.pl code from the EYE reasoner.
Run the examples and test cases via
$ ./test