Pool in Prelog