For a certain prolog program, let us assume that the prolog statements are of the form coach(n, t), which indicates that person p is the coach of team t; and of the form player(l, t), to indicate player l is on team t. the prolog facts are as follows: coach(lindsey, troy) coach(helton, usc) coach(dedekind, ua) player(smith, troy) player(jones, troy) player(frank, osu) player(boole, osu) player(pascal, ua) what would the output be for the query ? player(x, troy) ?