Package: wnpp Severity: wishlist Package name : xsb Version : 2.4 Upstream Author : The XSB Group <[EMAIL PROTECTED]> URL : http://xsb.sourceforge.net/ License : LGPL Description : XSB Prolog is a Logic Programming and Deductive Database system. It adds certain features that are not present in other prolog systems such as: - memoization (tabling) that prevents a left-recursive rule to go into an infinite loop - evaluation of rules that include stratified negation, without going into an infinite loop.
