Lines Matching refs:Prolog