head	1.3;
access;
symbols
	RELEASE_8_0_0:1.2
	RELEASE_7_2_0:1.2
	RELEASE_7_1_0:1.2
	RELEASE_6_4_0:1.2
	RELEASE_5_EOL:1.2
	RELEASE_7_0_0:1.2
	RELEASE_6_3_0:1.2
	PRE_XORG_7:1.2
	RELEASE_4_EOL:1.2
	RELEASE_6_2_0:1.2
	RELEASE_6_1_0:1.2
	RELEASE_5_5_0:1.2
	RELEASE_6_0_0:1.2
	RELEASE_5_4_0:1.2
	RELEASE_4_11_0:1.2
	RELEASE_5_3_0:1.2
	RELEASE_4_10_0:1.2
	RELEASE_5_2_1:1.1
	RELEASE_5_2_0:1.1
	RELEASE_4_9_0:1.1
	RELEASE_5_1_0:1.1
	RELEASE_4_8_0:1.1
	RELEASE_5_0_0:1.1
	RELEASE_4_7_0:1.1
	RELEASE_4_6_2:1.1
	RELEASE_4_6_1:1.1
	RELEASE_4_6_0:1.1
	RELEASE_5_0_DP1:1.1
	RELEASE_4_5_0:1.1
	RELEASE_4_4_0:1.1;
locks; strict;
comment	@# @;


1.3
date	2010.01.20.19.14.52;	author miwi;	state dead;
branches;
next	1.2;

1.2
date	2004.02.01.17.50.56;	author pav;	state Exp;
branches;
next	1.1;

1.1
date	2001.08.18.08.42.17;	author ijliao;	state Exp;
branches;
next	;


desc
@@


1.3
log
@2010-01-08 audio/dino: has been broken for 7 months
2010-01-08 devel/asis-gpl: has been broken for 3 months
2010-01-08 devel/florist-gpl: has been broken for 3 months
2010-01-08 devel/kdesvn: has been broken for 4 months
2010-01-08 devel/radrails: has been broken for 3 months
2010-01-08 devel/rubygem-rtags: has been broken for 5 months
2010-01-12 games/hattrickorganizer: Has been broken for quite some time
2010-01-08 games/laughingman: has been broken for 3 months
2010-01-08 devel/aunit: has been broken for 3 months
2010-01-18 devel/gdb53: has been broken for 3 months
2010-01-08 lang/ccscript: has been broken for 4 months
2010-01-08 lang/gnat-glade: has been broken for 3 months
2010-01-08 lang/xsb: has been broken for 6 months
2010-01-08 multimedia/nmm: has been broken for 3 months
2010-01-08 multimedia/sabbu: has been broken for 3 months
2010-01-08 net/adasockets: has been broken for 3 months
2010-01-08 textproc/bidiv: has been broken for 3 months
2010-01-08 textproc/xmlada-gps: has been broken for 3 months
@
text
@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
@


1.2
log
@- Update to 2.6

PR:		ports/62205
Submitted by:	Christopher Rued <c.rued@@xsb.com> (maintainer)
@
text
@@


1.1
log
@add xsb
A tabled Logic Programming and Deductive Database system

PR:		29322
Submitted by:	Christopher Rued <c.rued@@xsb.com>
@
text
@d15 3
@

