eyeling — a compact Notation3 (N3) reasoner in JavaScript.
The core idea: forward chaining is the outer loop; backward chaining is the proof engine used inside rule firing. Built-ins can participate in rule bodies, so consequences are computed until fixpoint.
https://github.com/eyereasoner/eyeling
#Notation3 #N3 #SemanticWeb #LinkedData #JavaScript #Reasoning
