声明全局变量/别名

Question

在我的prolog代码中的几个地方，我使用的是形式的谓词：

node(state([7,0],[11,0]), 0, [], []).

我不想每次都重新键入它，而是希望将它与别名相关联，以便将来可以快速更改它而无需更改每个实例。

我该如何实现？

Answer 1

通过统一创建一个简单的getter。

my $req = $ua->post($url,
    Content_Type => 'form-data',
    Content => [
        file => [$file_path],
    ],
);

现在您可以随时调用它：

get_some_static(node(state([7,0],[11,0]), 0, [], [])).

变量与任何东西统一。

Answer 2

您可以这样做：

arr = ["jenny", "lucy", "jason"]

因此，每次拨打_.some(arr, "jenny") 时，您都可以指定州的值。

alias(L1,L2,Value,node(state(L1,L2),Value,[],[])).