Hacker News new | ask | show | jobs
by cconroy 2989 days ago
I also think prolog has the most advanced sense of this concept with equalities and unification operators.