:- initialization(main).

% Facts
likes(roger, discretemath).
likes(zidan, football).
likes(roger, zidan).
likes(zidan, roger).
likes(zidan, chocolate).
likes(roger, banana).

% Main program
main :-
    read_line_to_string(user_input, PersonString),
    read_line_to_string(user_input, ThingString),
    atom_string(Person, PersonString),
    atom_string(Thing, ThingString),
    (   likes(Person, Thing)
    ->  writeln(true)
    ;   writeln(false)
    ),
    halt.