From ok@atlas.otago.ac.nz  Mon Nov 13 23:45:13 2000
Received: from atlas.otago.ac.nz (atlas.otago.ac.nz [139.80.32.250])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id XAA28591
	for <prolog@swi.psy.uva.nl>; Mon, 13 Nov 2000 23:45:11 +0100 (MET)
Received: (from ok@localhost)
	by atlas.otago.ac.nz (8.9.3/8.9.3) id LAA03611;
	Tue, 14 Nov 2000 11:45:09 +1300 (NZDT)
Date: Tue, 14 Nov 2000 11:45:09 +1300 (NZDT)
From: "Richard A. O'Keefe" <ok@atlas.otago.ac.nz>
Message-Id: <200011132245.LAA03611@atlas.otago.ac.nz>
To: dmiles@teknowledge.com, prolog@swi.psy.uva.nl
Subject: Re:  Big deal about Tabling Predicates.

	XSB Prolog has a mechanisms called 'Tabling'

Described in papers from the University of New York at Stony Brook,
issuing from David Scott Warren and his students.

	Somehow it is also implied that this help take care of 'Cyclic
	Terms' and that was a topic discussed earlier (except the
	discussion was "representing them").
	
I rather doubt it.  What it helps with is cyclic *proofs*.

