A New Challenge: Implementing PL/M in Prolog