State-of-the-art, ISO compliant Prolog development system for enterprise applications.
303 MLips with JIT compilation to native code.
Full ISO/IEC 13211-1 with all corrigenda.
Award-winning constraint solver.
C/C++, Java, .NET, and more.
Voice-operated procedures for ISS astronauts.
IP backbone network configuration.
Real-time logistics optimization.