SWI-Prolog offers a comprehensive free Prolog environment. It has been in development since 1987 and extended for requirements of real world applications, but is also widely used in research and education. It includes a nice command line interface, fast and transparent compilation, a debugger, profiling features. It also has the ability to integrate with C code, and already comes with packages for threading and process management, encryption, TCP/IP, TIPC, ODBC, SGML/XML/HTML, RDF, HTTP, graphics manipulation and output. It's also cross-platform.
minor feature: updated cpp.Updated ssl..PORT: deal with mmap without MAP_ANONYMOUS or MAP_ANON. This assumes ..: Atom garbage collection marking using copy_term/2 and fr ..ADDED: CMake export config to SWIPL install..CLEANUP: Put exports of pl-comp.c in new pl-comp.h..ADDED: PL_assert(). Suggested by Barry Evans..Updated bench..Updated JPL..BUILD: dependency problem, often showing up as below, but depen ..: PL_assert(): uninitialized var. Joost Geurts..ADDED: var_property/2: `singleton` property..BUILD: Also define SWIPL_CMAKE_NAMESPACE and SWIPL_INSTALL_CMAKE_CONF ..BUILD: Don't use single quotes around arguments to `-g` options, to r ..Updated cpp..: XSB emulation of parsort/4. Ed Schwartz..Updated swipl-win..Added indentation to improve readability..DOC: Improved intro text for library(yall) intro..Added TestWindowsFSeek.c..PORT: Updated Large File Support in minizip to use existing CMake det ..: Re-allow DCGs in sandboxed mode. Daan van Berkel..Cleaner check for off_t..MODIFIED: PL_unify_float() and PL_put_float() to turn any NaN into the..Updated yaml..Cache detection of _fseeki64()..MODIFIED: argv_options/3: map `-` in option names to `_`, compatible..: Isue#592: Help/submit report link. Alvin Seville..Updated pldoc..: try to ensure that compilers don't merge identical looking VMI ..CLEANUP: Remove old code for separating VMI addresses..ENHANCED: save_settings/0: raise error if there is no default file known..: Build for Win32: separate VMI for T_TRY_MPZ. Relates to..PORT: Using _BitScanReverse/_BitScanReverse64 as according to Microso ..: rational tripwire for negative rational numbers. Rick Workman..Preparing version 8.1.32.