2 ms·Trait instantiation in most languages is already using a Prolog-like approach.by zozbot234 1y agoTrait instantiation in most languages is already using a Prolog-like approach.