Miscellany
public text v1 · immutabledislikes(sam, onions).
dislikes(sam, greenpeppers).
dislikes(parker, pepperoni).
dislikes(parker, greenpeppers).
dislikes(elizabeth, pepperoni).
dislikes(elizabeth, eggplant).
dislikes(fred, pepperoni).
% first base clause
dislikes_topping([], _, _):- !.
% second base clause
dislikes_topping([P|_], Top, yes):-
dislikes(P, T), !.
% step clause
dislikes_topping([_|Ps], Top, IsNo) :-
dislikes_topping(Ps, Top, IsNo).