Untitled
unknown
plain_text
2 years ago
161 B
4
Indexable
acc([1|T]):- acc1(T). acc1([0,1|T]):- acc2(T). acc2([0,1|T):- acc2(T). acc2([1,1,1|T]):- acc3(T). acc3([1,0,1|T]):- acc3(T). acc3([0,0]). acc3([1,1]).
Editor is loading...
Leave a Comment
acc([1|T]):- acc1(T). acc1([0,1|T]):- acc2(T). acc2([0,1|T):- acc2(T). acc2([1,1,1|T]):- acc3(T). acc3([1,0,1|T]):- acc3(T). acc3([0,0]). acc3([1,1]).