如何匹配prolog中的确切列表

Question

请帮助 google

**fact:**
protein(annexin,[a,s,d,f]).

**rules:**
(i dont know)

**query:**
protein(N,[q,w,e,a,s,d,f])
**result:**
N= annexin

**query:**
protein(N,[q,w,e,a,s,d,f,w,o,e])
**result:**
N= annexin

Answer 1

a是腺嘌呤，但那些非经典的碱基是什么？不管怎样，让我们​​使用dcg。

protein(annexin) -->
   [a,s,d,f].

withprotein(Protein) -->
   ...,
   protein(Protein),
   ... .

... --> [] | [_], ... .

用法：

?- phrase(withprotein(Protein), [q,w,e,a,s,d,f,w,o,e]).
Protein = annexin

Answer 2

当且仅当其定义是字符串的子列表时，字符串才包含蛋白质：

protein(annexin, [a,s,d,f]).

has_protein(Protein, List) :-
  protein(Protein, ProteinDefinition),
  sublist(ProteinDefinition, List).