prolog中的_(数字)是什么，为什么当它们出现时winHugs会冻结？

在Prolog中，_（下划线）加上一个数字是一个匿名变量。匿名变量在Prolog中用于表示不关心的变量，即不需要使用或获取其值的变量。

当在WinHugs中遇到带有匿名变量的查询时，WinHugs会尝试为该变量寻找可能的解，并尝试打印出所有可能的解。然而，当遇到_1、_2等带有数字的匿名变量时，WinHugs会尝试为每个不同的数字生成解，这可能会导致WinHugs陷入无限循环并冻结。

因此，当在WinHugs中遇到带有带数字的匿名变量时，最好避免使用它们，或者在查询中使用具名变量来代替。这样可以避免WinHugs的冻结问题。

需要注意的是，WinHugs是一个过时的Prolog解释器，可能存在一些限制和问题。建议使用更现代的Prolog实现，如SWI-Prolog或GNU Prolog，它们提供更强大和稳定的功能。