Application: YAP Prolog
Description: YAP is a high-performance Prolog compiler. based in the Warren Abstract Machine, with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog.
Download YAP Prolog Portable 6.2.2 Development Test 1 [7.0 MiB download / 16.3 MiB installed]
6.2.2 Development Test 1 (2011-10-23): Initial release