State-of-the-Art Prolog Development
ISO standard compliant Prolog system built for performance, reliability, and enterprise applications.
Download Free Trial View Documentation4.10.1
Latest Version
303 MLips
Performance
ISO 13211
Standard
5 Medals
MiniZinc Awards
Core Features
⚡ High Performance
303 MLips with JIT compilation to native code for x86 platforms.
✓ ISO Compliant
Full ISO/IEC 13211-1 standard with all technical corrigenda.
▦ CLP(FD) Solver
Award-winning constraint programming. 5 MiniZinc medals.
↔ Interoperability
C/C++, Java, .NET, Tcl/Tk, ODBC, XML, JSON interfaces.
🌐 Cross-Platform
Windows, Linux, macOS. 32-bit and 64-bit architectures.
🖥 SPIDER IDE
Eclipse-based with debugging, profiling, and code analysis.
Trusted By Industry Leaders
NASA
Clarissa voice-operated procedure browser for International Space Station astronauts.
Ericsson
Network Resource Manager for IP backbone network configuration.
RedPrairie
COPLEX real-time optimization engine for logistics.