Jared  | 2007-07-06
XSB
Another logic programming and deductive database, the XSB runs on both Unix and Windows systems. XSP implements the evaluation at the engine level programs, with stratified and non stratified negation and programs with stratified aggregation. It allows for full prolog functionality in tabled code, including cuts, in meta logical predicates, in second-order predicates, and so on. It has multithreading support and the feature to index and create a dynamic code. The interface can be changed or ported, since all the source code is available. An interesting tool, and I feel that I missed out a lot of the interesting feature.