% Load the program [sibling]. % Query 1: test that the parent relation works. Because I tested it % first, I know this produces two answers, so I'll put two ; after the % query. If Prolog says yes rather than no in the .out file, I'll know % that something went wrong, since that would mean there are more than 2 % answers. parent(X,alice). ; ; % Query 2: test sibling. Because I tested it first, I know this produces % four answers, so I'll put four ; after the query. sibling(A,alice). ; ; ; ;