Lines Matching defs:Prolog