EulerSharp 2011-06-24

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎1 ‎Stemmen

Over EulerSharp

Euler is een gevolgtrekkingsmotor die op logica gebaseerde bewijzen ondersteunt. Het is een achterwaartse chaining reasoner versterkt met Euler pad detectie. Het heeft implementaties in Java, C#, Python, Javascript en Prolog. Via N3 is het interoperabel met W3C Cwm.