mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-12 03:00:28 +00:00
15 lines
702 B
Plaintext
15 lines
702 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/
|