member(4,[A,B]).
; the only way to write that in Brachylog without an infinite loop involves creating the list [A,B]
first and then passing it to member
, because if you put the constraint that it contains two elements to the right of member
(i.e. e
), you'll get an infinite loop as e
generates progressively longer lists