./wip/xsb, Logic Programming and Deductive Database system

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 5.0, Package name: XSB-5.0, Maintainer: pkgsrc-users

XSB is a Logic Programming and Deductive Database system for Unix and Windows.
It is being developed at a number of institutions, including the Computer
Science Department of Stony Brook University, Universidade Nova de Lisboa, XSB
Inc., and Coherent Knowledge Systems, Inc.

Master sites:

Filesize: 15748.422 KB

Version history: (Expand)