On Saturday, 2 January 2021 at 22:47:29 UTC, Stefan Koch wrote: > I don't see how one can stuff all that into a statically > available, datastructure without blowing out compile times. Build it dynamically using caching (e.g. tables)? That is the standard way of doing unification (e.g. prolog)?