Markus is not the author of Scryer Prolog, Mark Thom is.