Heiseneye runs fine with Scryer rebis-dev

[josd]

Heiseneye performs forward chaining for rules like PREM => CONC and backward chaining for rules like CONC <= PREM. There is no principle to tell whether to use forward chaining or backward chaining.

Queries are posed and answered as PREM => yes so the answers are also queries be it with some parts substituted and eventually containing more variables than in the original query.

Run the examples and test cases via

$ ./test

giving result.

This is a research prototype at IDLab – Internet & Data Lab and with many thanks to Ruben Verborgh – Professor of Decentralized Web technology.