Программы eulersharp.sf.net

Euler является вывод двигателя поддержки логики на основе доказательств. Это обратный цепной reasoner усиливается с обнаружением пути Euler. Он имеет реализации в Java, C, Python, Javascript и Prolog. Via N3 совместим с W3C C