实施法规。序言中的表达

Question

我有一个关于在序言中实现一些谓词的问题。（对于正则表达式。） 我需要实现 4 个谓词

我的实现是

sublist( Sublist, List ) :- append( [_, Sublist, _], List ). %true if SubList is a sublist of a List
match(one(List),W) :- sublist(List,W). %true if there is a single occurence of List
match(opt(_),[]).  %true if there are 0 or 1 occurences of List
match(opt(List),W) :- sublist(List,W).
match(star(_),[]).  %true if there are 0 or more occurences of List
%more occurences
match(plus(List),W) :- sublist(List,W). %true if there are 1 or more occurences of List
%more occurences

现在，我的问题是。

1. 我不知道如何实现更多的发生。
2. 例如，如果我想像 match([这里有更多表达式],S) 那样调用它 length(S,3),match([star[1],opt[2,3]],S) 这样可以吗？

编辑：
2）问题很容易解决，我只是遍历列表。

Answer 1

您的“match(one(...”可以使用：

exactly_one_solution(Template, Goal) :-
    % Check whether more than 1 solution exists
    bagof(Template, limit(2, Goal), Solutions),
    Solutions = [Template].

并且您的“match(plus(...”可以使用标准Prolog once/1)，以确保大于零的匹配。