Download Location
[Mirror1 download link] - file hosted by sourceforge.netAccessible, powerful and user-friendly programming and deductive database system that can be used to improve your development processWhats new in version 3.4:Enhancements:
• A new approach to bounded rationality within tabling, termed radial restraint, can be used to ensure sound (with respect to the well-founded semantics) termination of programs even when they contain function symbols and have infinite models. Radial restraint works by abstracting answers that exceed a given depth and making the truth value for these answers undefined, and can be declared on a per-predicate basis.
• A new builtin, u_not/1 assigns the truth-value undefined to non-ground negative subgoals, rather than throwing an exception. In various other cases, such as with arithmetic computation errors, a goal can optionally be set to undefined rather than throwing an exception.
• New builtins support better inspection of the state of tables, even while these tables are being computed.
• get_incr_sccs_with_deps/[2,3] produces a Prolog representation of the dependency graph of incrementally tabled subgoals, including strongly connected components information and dependencies a...
You are about to download a Freeware version for XSB. This download links are providet to you by software publisher