Lines Matching defs:prolog