> 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 ? Cheers Bart