在Prolog中，如何检查列表B中列表A中的N个元素？

发布于 2024-10-19 07:29:46 字数 204 浏览 5 评论 0原文

我有这两个列表 =

fruits([banana, apple, mangoes, pears]).
foodILike([hamburgers, banana, shakes, fries]).

我想编写一个序言谓词，一旦看到水果列表中的 foodIlike 列表中的 1 个项目，该谓词就会返回 true。我该如何去做呢？

原文

I have these two lists =

fruits([banana, apple, mangoes, pears]).
foodILike([hamburgers, banana, shakes, fries]).

I want to write a prolog predicate that will return true as soon as it sees 1 items in the foodsILike list in the fruits list. How can I go about doing so?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

扶醉桌前 2024-10-26 07:29:46

首先，对于简单的答案：

fruitsILike(F) :-
  fruits(Fs)
  member(F, Fs),
  foodILike(Ls),
  member(F, Ls).

您可以通过展平水果和食物列表来避免成员资格检查：

fruit(banana).
fruit(apple).
...
foodILike(hamburger).
foodILike(banana).
...
fruitsILike(F) :-
  fruit(F),
  foodILike(F).

也就是说，您似乎尝试使用命令式习语解决 Prolog 中的问题，但这行不通。首先，谓词不返回任何内容。当调用谓词时，Prolog 根据程序中的事实和规则将其参数与有效值统一起来。因此，“返回值”是对未绑定变量的赋值。其次，Prolog 不会“尽快”做某事。它迭代所有可能的解决方案。您会得到第一个解决方案，然后是第二个解决方案，依此类推。

First, for the plain answer:

fruitsILike(F) :-
  fruits(Fs)
  member(F, Fs),
  foodILike(Ls),
  member(F, Ls).

You could avoid the membership check by flattening the fruits and foods lists:

fruit(banana).
fruit(apple).
...
foodILike(hamburger).
foodILike(banana).
...
fruitsILike(F) :-
  fruit(F),
  foodILike(F).

That said, you seem to try and solve problems in Prolog using imperative idioms, and that won't work. First, predicates do not return anything. When calling a predicate, Prolog unifies its arguments with valid values according to the facts and rules in the program. Therefore, the "returned value" are the assignments to unbound variables. Second, Prolog does not do something "as soon as". It iterates over all possible solutions. You get the first solution, then the second solution, and so on.

回复收藏 0 原文