Lines Matching defs:InProlog