Bug#128394: ITP: xsb -- XSB Prolog, a Logic Programming and Deductive Database system

["Kristis Makris" <devcore@freeuk.com>]

Package: wnpp
Severity: wishlist
 
Package name    : xsb
Version         : 2.4
Upstream Author : The XSB Group <xsb-users@sourceforge.net>
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.