It should only succed if there is two consecutive values in the list.
I would make member2 and then try work it in append.
member2a(X,L). append([],X,X). append(_,[X,X|_],X) :- member2a(X,[]).




Posted 30 September 2012 - 11:31 AM
member2a(X,L). append([],X,X). append(_,[X,X|_],X) :- member2a(X,[]).
|
|
Query failed: connection to localhost:3312 failed (errno=111, msg=Connection refused).
|
