mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-25 04:43:33 +00:00
13ba5647d6
PR: ports/62205 Submitted by: Christopher Rued <c.rued@xsb.com> (maintainer)
18 lines
737 B
Plaintext
18 lines
737 B
Plaintext
XSB is a Logic Programming and Deductive Database system for Unix and
|
|
Windows. It is being developed at The Computer Science Department,
|
|
SUNY Stony Brook (http://www.cs.sunysb.edu/), in collaboration with
|
|
Katholieke Universiteit Leuven (http://www.kuleuven.ac.be/),
|
|
Universidade Nova de Lisboa (http://www.unl.pt/), and Uppsala
|
|
Universitet (http://www.uu.se/).
|
|
|
|
One innovation of XSB is its use of tabled resolution. 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 and Diagnosis may benefit from XSB.
|
|
|
|
WWW: http://xsb.sourceforge.net/
|
|
|
|
- Christopher Rued
|
|
c.rued@xsb.com
|