Text this: Modula--Prolog