WAM based Prolog in Modula-2 - View it on GitHub