Jos De Roo

Another eye in python

N3 proof engine inspired by
and is with depth first search and euler path anti-looping detection.
Thanks to Tim Berners-Lee and Dan Connolly for inventing N3 and for creating N3
running code.

Usage: python3 [–why] [–once] [–debug] triples
Test: python3 –why

Remark that the N3 that is actually understood is very limited:
qnames, () lists, facts and => rules on a single line and not yet [] ; , ^ ! ^^ @