wine(wine_FormanCabernetSauvignon,hasBody,full). wine(wine_FormanCabernetSauvignon,hasBody,medium). wine(wine_FormanCabernetSauvignon,hasColor,red). wine(wine_FormanCabernetSauvignon,hasSugar,dry). wine(wine_FormanCabernetSauvignon,hasFlavor,moderate). wine(wine_FormanCabernetSauvignon,hasFlavor,strong). match(F,W) :- foodmatch(F,hasColor,C), wine(W,hasColor,C), foodmatch(F,hasSugar,S), wine(W,hasSugar,S), foodmatch(F,hasFlavor,U), wine(W,hasFlavor,U), foodmatch(F,hasBody,B), wine(W,hasBody,B)