On 2007/02/04, at 11:17, Daniel Lucraft wrote:
> That sounds right. How about if you have an equation a == b, you  
> should
> not be able to find equations c == d, and e == f such that c + e  
> makes a
> and d + f makes b?

Wouldn't a prolog script be better at describing all the rules than  
trying to figuring them out?

If someone developed a prolog script that would behave as the final  
ruby script should, we would then have the specs without a shadow of  
doubt.

Just don't look at me to write it =P

Paulo Jorge Duarte Köãh
paulo.koch / gmail.com