type == "cheddar" && price > 10
Cheese( type == "cheddar" || price > 10 )
Cheese( ( type == "cheddar" && price > 10) || ( type == "e;stilton"e; && price < 10 ) )
( Cheese (type "cheddar") )
(Cheese (price ?price1 ) (Cheese (price ?price2&:(= ?price2 (* 2 ?price1) )
Cheese( price == 5 )
(Cheese (price ?price ) (Cheese (price =(* 2 ?price) ) (Cheese (price >(* 2 ?price) )