We need infinity-Prolog, which already knows all known facts. Feeding them separately everytime feels lame.