SWI-Prolog 7.6.4 参数未充分实例化

当在SWI-Prolog 7.6.4中遇到“参数未充分实例化”的错误消息时，通常表示在谓词中使用了未实例化的变量。

例如，以下代码中的“X”变量未实例化，因此会导致“参数未充分实例化”的错误消息：

sum_list([], 0).
sum_list([X|Xs], Sum) :-
    sum_list(Xs, Rest),
    Sum is X + Rest.

为了解决此错误，您需要确保所有变量都已实例化。在上面的示例中，您可以通过添加以下代码来解决该问题：

sum_list([], 0).
sum_list([X|Xs], Sum) :-
    nonvar(X),
    sum_list(Xs, Rest),
    Sum is X + Rest.

在这里，我们使用“nonvar”谓词来检查变量是否已实例化。如果变量未实例化，则“nonvar”谓词将返回false并产生错误消息。否则，代码将继续执行。

请注意，如果您在SWI-Prolog 7.7.10或更高版本中使用“var”谓词，则可以在代码中使用“var”谓词来检查变量是否未实例化。

相关问题

apt安装SWI-Prolog 7.6.4命令

在Ubuntu系统上，可以使用以下命令安装SWI-Prolog 7.6.4版本：

sudo apt-get update
sudo apt-get install swi-prolog=7.6.4

请注意，这将会卸载当前安装的SWI-Prolog版本，并安装7.6.4版本。如果您想保留当前版本并安装7.6.4版本，则可以使用以下命令：

sudo apt-get update
sudo apt-get install swi-prolog=7.6.4 --no-install-recommends

该命令将只安装SWI-Prolog 7.6.4版本，而不会卸载当前版本。