Subject: Re: Big deal about Tabling Predicates.

From: "Richard A. O'Keefe" <[email-masked]>
Date: Tue, 14 Nov 2000 11:45:09 +1300 (NZDT)

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*.