Lines Matching defs:PrologNum