% CRACKING AN EGG
% Formulizing cracking an egg in Prolog.

object(glass,bowl).
object(raw,egg).

effect(yolk, is, unbroken) :-

effect(egg, in, bowl) :-
  effect(cook, holding, egg_shell).

effect(cook, holding, egg_shells) :-
  cause(cook,