Prolog programming environment
SWI-Prolog offers a comprehensive Free Software Prolog environment. Prolog is a general purpose logic programming language often used for artificial intelligence and computational linguistics.
Features
fast compilation. E.g., loads 140,000 lines of code spread over 500 source-files in 2.3 seconds on an AMD 5400+ system.
-Robust and free of memory leaks. In use for several servers that run 24x7 (including this web-service).
-Small. The full development environment, including graphics, libraries and many interface packages requires approx.
-Scales well for large applications. No limits on program size, atom-length, term-arity or integer values. No performance degradation on predicates with many (indexed) facts.
Unbounded integer and rational number arithmetic based on GMP library.
Comprehensive set of built-in predicates, covering Part 1 of the ISO standard, the de-facto Edinburgh Prolog standard and important parts of Quintus and SICStus Prolog. Fair compatibility to Ciao, YAP and GNU-Prolog.
-And much more
https://portableapps.com