% Reference 9.6: str_concat/3 concatenates strings.
answer(string, X) :- str_concat("eye", "pl", X).
%% goal: answer(X0, X1)