Tag: Application of Prelog's rule