Write an ASP program that can determine if one person is a grandmother, full brother, half-brother, or a step brother of another person. Also, if it is possible can you explain how you got the answer (but you don't have to if you don't want to) because I don't completely understand how this works and I would love to learn!

The program you write should run with the clingo solver and should define three relations:

grandmother(X, Y) X is a grandmother of Y

full_brother(X, Y) X is a full brother of Y, i.e., a brother born of the same mother and father

half_brother(X, Y) X is a half-brother of Y, i.e., a brother related through one parent only

step_brother(X, Y) X is a step brother of Y, i.e., a son of one's stepparent by another partner