如何在Prolog中使用回溯来无限增加变量

如何在Prolog中使用回溯来无限增加变量