EYE N3 Reasoner
Home of the EYE N3 rule reasoner and related software libraries
Pinned Loading
Repositories
Showing 10 of 25 repositories
- eyelog Public
eyelog is a small rule engine for Prolog-style Horn clauses over ordinary terms, lists, arithmetic, strings, and finite search.
eyereasoner/eyelog’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…