Download SWI-Prolog 7.4.1 software

[Mirror1 download link] - file hosted by www.swi-prolog.org

A comprehensive Prolog environment

Whats new in version 7.4.1:

• ADDED: library(sandbox): allow using :- op/3 in directives, provided the declaration is not qualified.
• FIXED: variant_sha1/2 for indirect datatypes (big ints, strings, floats). Samer Abdallah.
• ADDED: var_property/2, providing information about a variable for goal_expansion/2.
• DOC: Updated operator table. Markus Triska.
• ENHANCED: CLP(B): Improved taut/2 when the second argument is instantiated.
• DOC: ~ is not an operator. Markus Triska.
• FIXED: set_breakpoint/4: avoid exception if layout information is only partially available.
• FIXED: Possible crash in dict_ordered()
• ADDED: library(sandbox): current_op/3 is safe.
• ENHANCED: CLP(B): Better support for large conjunctions in sat/1.
• FIXED: Allows tagging directives with a source location. Patch by Edison Mera.
• FIXED: Terms expanded to \'$source_location\'(_,_):Clause should consider the case when Clause is further expanded to a list. The predicate expand_terms/5 in expand.pl was modified to handle su...