Comment by lkirk

I thought that it was implemented in Arc: http://arclanguage.org/