All pastes #465958 Raw Edit

Miscellany

public text v1 · immutable
#465958 ·published 2007-04-30 18:46 UTC
rendered paste body
dislikes(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).