On 2007/09/24, at 10:01, Bart Demoen wrote:
having done some work on implementing this predicate on YAP and B-Prolog
As I pointed out earlier: the one in Yap is/was buggy (wrt any intended specification). Has it been corrected in the mean time ?
Not yet. Hope to do some work on it before YAP 5.1.3 is released. I will keep you posted.
Cheers,
Paulo
----------------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Computer Science, University of Beira Interior 6201-001 Covilhã, Portugal
Office 4.3 Ext. 3257 Phone: +351 275319891 Fax: +351 275319899 Email: mailto:pmoura@di.ubi.pt
Home page: http://www.di.ubi.pt/~pmoura Research: http://logtalk.org/ -----------------------------------------------------------------