%==================== FACTS =========================%
book(carrie).
mystery_book(langoliers).
authors('stephen king', carrie).
authors('stephen king', langoliers).
%==================== RULES =========================%
reads(sue, X):-authors('stephen king', X).
like(sue, X):-mystery_book(X),reads(sue,X).
reads(jane,X):-like(sue,X).
%==================================================================
boy(tom).
boy(john).
attends(john,utech).
attends(tom,uwi).
%=======================rule==========
rebels(X):-boy(X),attends(X,uwi).