%% goal: answer(X0)

answer(ok) :- \+ slice([a], 1, 2, X).