M-Prolog: The Final Challenge

The development of M-Prolog has finally reached its last major challenge.