翻译成Prolog

[ghost]

序列格式（语言）： 有0到5个元素。每个元素有3个可能值，其中一个可能值在序列中的个数等于另外两个可能值在序列中个数之和。

像自然语言一样定义就是：

len(s)<=5,
e(a,b,c):all(i):s[i]=a|b|c,
len(include(s,a))=len(include(s,b))+len(include(s,c)).

翻译成Prolog是什么？一般规则定义或者DCG？