Webeye is doing webized reasoning via forward and backward chaining. It participates in dialogues leading to necessary and sufficient answers, supported by proof steps, so that action can take place.
Webeye is using ISO Prolog notation:
Webeye performs forward chaining for a
FORWARD_RULE and backward chaining for a
Queries are posed and answered as
GRAPH => true. so the answers are also queries be it with
some parts substituted and eventually containing more variables than in the original query.
This forms a dialogue leading to necessary and sufficient answers, supported by proof steps, so that action can take place.
Install Node.js and then
$ npm install tau-prolog $ ./test-tau
Install Trealla Prolog and then