Lines Matching defs:IsProlog