Hacker News new | ask | show | jobs
by zozbot234 230 days ago
Trait instantiation in most languages is already using a Prolog-like approach.