XSB 3.4
Accessible, powerful and user-friendly programming and deductive database system that can
Accessible, powerful and user-friendly programming and deductive database system that can be used to improve your development process
Software Specs
Publisher:............ XSB Development Team
License:............... Freeware
File size:.............. 10.93 MB
Downloads:.........
Release date:...... 10 Jul 2013
Last update:........ 08 Dec 2014
Publisher review for XSB 3.4:
Review by: XSB Development Team
XSB is a Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.
Tabled resolution is useful for recursive query computation, allowing programs to terminate correctly in many cases where Prolog does not. Users interested in Parsing, Program Analysis, Model-checking, Data Mining, Diagnosis and Temporal Reasoning may benefit from XSB.
It allows full Prolog functionality in tabled code including cuts, (subject to weak semantic restrictions), in meta-logical predicates, in second-order predicates, etc. Dynamic code may also be tabled.
It has a heap garbage collector that works for tabled (and Prolog) evaluation. After a table is abolished, a table garbage collector ensures that its space is properly reclaimed.
Requirements:
Operating system:
Windows XP / Vista / Vista 64 bit / 7 / 7 64 bit / 8 / 8 64 bit
XSB download tags:
programming system database system development environment LP
Copyright information:
Based on 0 ratings. 0 user reviews.