Prolog HTTP 动态添加指向 html 的链接

Question

我是序言和声明式编程的新手，我很难实现以下目标。

我正在关注this tutorial，现在想在一个页面上显示一些链接。要显示哪些链接取决于某些事实/变量。

这是我当前的代码：

link_collection(Request) :-
http_parameters(Request,
[
    foo(Foo, [optional(true)])
]),
reply_html_page(
    [title('Dynamic Link Collection')],
    [
        a([href='/questionalice'], 'Question Alice'),       /* Should only show if has(investigate, body) is true */
        a([href='/questionbob'], 'Question Bob'),          /* Should only show if Foo = bar */
        a([href='/investigatebody'], 'Investigate Body')   /* Show always */
    ]
).

请注意，“排列”的数量不允许我只是“或”link_collection 语句。我也希望条件任意复杂。

Answer 1

您的问题可以在非常笼统的背景下得到回答，也就是说，即使不考虑 HTTP 的具体用例。

一般问题似乎是：我如何动态地选择一些可用选项的子集。

为此，假设您不仅仅将每个链接表示为“自身”，而是表示为Link-Condition 形式的对，解释为只应包含Link 如果 Condition 是true。

让我们首先考虑我们想要表达的条件，并定义何时它们为真。重要的是，您的条件还取决于 Foo 的值，因此必须考虑到这一点：

is_true_with_foo(_, has(investigate, body)) :- has(investigate, body)。 is_true_with_foo(Foo, Foo = bar) :- Foo = bar。 is_true_with_foo(_, true)。

因此，这描述了何时特定条件为真，也取决于Foo 的值。

现在，您的示例条件可以表示如下：

链接条件（Foo， [ a([href='/questionalice'], '问题 Alice')-has(investigate, body), a([href='/questionbob'], '问题 Bob')-(Foo = bar), a([href='/investigatebody'], '调查身体')-true ]）。

要描述列表的子序列，请考虑使用 DCG (dcg)。

例如：

链接子集（[]，_）-> []。 links_subset([L-Cond|Ls], Foo) --> ( { is_true_with_foo(Foo, Cond) } -> [大] ; [] ), 链接子集（Ls，Foo）。

您现在可以调用：

?- links_conditions(Foo, LCs0), 短语（links_subset（LCs0，no），LCs）。

并在LCs 中获取剩余链接。在这种情况下：

LCs = [a([href='/questionalice'], '问题 Alice'),
a([href='/investigatebody'], 'Investigate Body')]。

所以，我们可以在回复中使用生成的链接：

链接集合（请求）：- http_parameters(请求, [foo(Foo, [optional(true)])]), links_conditions(Foo, LCs0), 短语(links_subset(LCs0, Foo), LCs), reply_html_page([title('Dynamic Link Collection')], LCs)。

注意Foo 在这些谓词中是如何传递的。

P.S.：您的示例 sn-p 存在基本语法错误，因此我怀疑您的代码是否可以正常工作。