SWISH -- SWI-Prolog for SHaring

% Construyamos en programa en prolog que nos permita predecir las compras
% que realizarán los clientes de un supermercado, partiendo de la premisa que las
% siguientes relaciones se cumplen:
%  *Los clientes que compran azúcar, compran también yerba.
%  *Los clientes que no compran yerba, compran Te.
%  *Los clientes que compran vino, no compran cerveza.
%  *Los clientes que compran cerveza, compran pan, maní y papitas saladas.
%  *Los clientes que no compran azucar, compran edulcorante.
%  *Los clientes que compran edulcorante, no compran leche entera.
%  *Los clientes que compran azúcar, no compran leche descremada.
%  *Los clientes que compran maní, no compran leche descremada.
% Considere que estas relaciones son bidireccionales, por ejemplo, cuando
% decimos que un cliente que compra azúcar no compra edulcorante, también
% decimos que si comra edulcorante no compra azucar y asi en todos los casos.
%   -El programa en prolog debe ser capaz de responder, en un gola externo,
%   dado un producto, que otros llevará ese cliente y cuales no.

%clauses
compra(azucar,yerba).
compra(cerveza,pan).
compra(cerveza,mani).
compra(cerveza,papitas).
nocompra(yerba,te).
nocompra(vino,cerveza).
nocompra(azucar,edulcorante).
nocompra(edulcorante,lecheentera).
nocompra(azucar,lechedescremada).
nocompra(mani,lechedescremada).

siemprecompra(X,Y):-compra(X,Y);compra(Y,X).
siemprenocompra(X,Y):-nocompra(X,Y);nocompra(Y,X).
nocompratotal(X,Y):-siemprenocompra(X,Y);siemprecompra(X,Z),siemprenocompra(Z,Y).
compratotal(X,Y):-siemprecompra(X,Y).
compras1(X,Y,Z):-siemprecompra(X,Y);nocompratotal(X,Z).

%compratotal(cerveza, Compra);nocompratotal(cerveza, Nocompra).