Fast, simplified WAM-based Prolog system - View it on GitHub