From: David W. <wa...@cs...> - 2005-01-20 15:59:07
|
Hi Bart, (et al.) Thanks for looking into the setof bug. That code is a holdover from the pre-SBProlog days. (The SBProlog name appeared in '86 when Saumya took it to Arizona.) I know no one here wrote that code. We "borrowed" it from somewhere. My guess is that it was from C-Prolog, where we borrowed a bunch of stuff. It's possible our borrowing required some "minor" porting changes which introduced this bug. So the question is where to go from here. Bart, do you have an opinion on which of the Prologs you mentioned would be best to look at? (It looks like this bug will fall to me to fix....) Thanks for your help! -David |