如何精确匹配列表在序言

Question

pleaase即时通讯pleasee帮助 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).