After a long break from #Suetum (because of stuff like a game to work on and moving between apartments), I've had the chance to take some time to study the Warren Abstract Machine, and started working on the low-level compilation of logic programming using exclusion logic, instead of predicate logic. The result won't be even remotely as elegant as the WAM, but it should be on-par when it comes to performances. More or less. (the tree-like structure of E.L. is not really cache-friendly!)