fork download
  1. sug([], []).
  2. sug([_|T1], [_|T2]) :- sameExceptLast(T1, T2).
  3. sameExceptLast([], []).
  4. sameExceptLast([_], [_]).
  5. sameExceptLast([X|T1], [X|T2]) :- sameExceptLast(T1, T2).
  6. :- sug([a,b,c,d], [x,b,c,y]), write(yes).
  7. :- sug([a,b,c],[d,e,f]), write(yes).
Success #stdin #stdout 0.02s 6160KB
stdin
Standard input is empty
stdout
yes