Managed Projects
EulerSharp
E
No analysis available
Euler is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection. It has implementations in Java, C#, Python, Javascript and Prolog. Via N3 it is interoperable with W3C Cwm.
Mostly written in language not available
Licenses:
No declared licenses