Enterprise software suite for knowledge representation and reasoning produced by Coherent Knowledge. Implements most of Rulelog and uses XSB.
Commercialization of Flora-2. See also Sunflower, which seems like a similar project.