A useful extension to Prolog's definite clause grammar notation. - Roy, Peter Van (ACM SIGPLAN Notices, 1989)