New posts in Warren Abstract Machine

Does Prolog need GC when the occurs check is globally enabled?

Alternatives to the WAM