David Vallner <david / vallner.net> writes:

> Nikolai Weibull wrote:
>
>>Well, it depends on how you would want it.  In Prolog (don't remember
>>how Haskell does it), all variable beginning with a lowline are ignored
>>- it adds some documentational value.  Perhaps only _ is enough,
>>        nikolai
>>
>>  
>>
> Offtopic: I thought those are just any old variables in Prolog. I know
> for 25% certain SWI-Prolog uses variables starting as underscores as
> anonymous variables it creates when getting itself into an infinite
> loop fit ;P

I'm not sure they are "old variables"... compare foo(A, A, B) and
foo(_, _, B).  I don't think they share the same semantics.

> David
-- 
Christian Neukirchen  <chneukirchen / gmail.com>  http://chneukirchen.org