descuento(N,U,V,PRECIODESCUENTO):- N>U,PRECIODESCUENTO is (N*V+70)/100 .
descuento(N,_,V,PRECIODESCUENTO):- PRECIODESCUENTO is (N*V*90)/100 .
calculadoriva(PRECIODESCUENTO,IV,TOTALIVA) is (PRECIODESCUENTO*IV)/100 .
puntos(P,VP,PRECIODESCUENTO,PRECIODESCUENTOPUNTOS):- PRECIODESCUENTOPUNTOS is PRECIODESCUENTO-(P*VP) .
corrector(PRECIODESCUENTOPUNTOS,CORRECCION):- PRECIODESCUENTOPUNTOS<0,CORRECCION is 0 .
corrector(PRECIODESCUENTOPUNTOS,CORRECCION):-CORRECCION is PRECIODESCUENTOPUNTOS .
compra(N,V,U,IV,P,VP,PG):-
descuento(N,U,V,PRECIODESCUENTO),
calculadoriva(PRECIODESCUENTO,IV,TOTALIVA),
puntos(P,VP,PRECIODESCUENTO,PRECIODESCUENTOPUNTOS),
corrector(PRECIODESCUENTOPUNTOS,CORRECCION),
PG is CORRECCION+TOTALIVA .
:- initialization(main).
main:-
read(N
),read(V
),read(U
),read(IV
),read(P
),read(VP
),compra
(N
,V
,U
,IV
,P
,VP
,PG
), hait .
:-main .
ZGVzY3VlbnRvKE4sVSxWLFBSRUNJT0RFU0NVRU5UTyk6LSBOPlUsUFJFQ0lPREVTQ1VFTlRPIGlzIChOKlYrNzApLzEwMCAuCmRlc2N1ZW50byhOLF8sVixQUkVDSU9ERVNDVUVOVE8pOi0gUFJFQ0lPREVTQ1VFTlRPIGlzIChOKlYqOTApLzEwMCAuCmNhbGN1bGFkb3JpdmEoUFJFQ0lPREVTQ1VFTlRPLElWLFRPVEFMSVZBKSBpcyAoUFJFQ0lPREVTQ1VFTlRPKklWKS8xMDAgLgpwdW50b3MoUCxWUCxQUkVDSU9ERVNDVUVOVE8sUFJFQ0lPREVTQ1VFTlRPUFVOVE9TKTotIFBSRUNJT0RFU0NVRU5UT1BVTlRPUyBpcyBQUkVDSU9ERVNDVUVOVE8tKFAqVlApIC4KY29ycmVjdG9yKFBSRUNJT0RFU0NVRU5UT1BVTlRPUyxDT1JSRUNDSU9OKTotIFBSRUNJT0RFU0NVRU5UT1BVTlRPUzwwLENPUlJFQ0NJT04gaXMgMCAuCmNvcnJlY3RvcihQUkVDSU9ERVNDVUVOVE9QVU5UT1MsQ09SUkVDQ0lPTik6LUNPUlJFQ0NJT04gaXMgUFJFQ0lPREVTQ1VFTlRPUFVOVE9TIC4KCmNvbXByYShOLFYsVSxJVixQLFZQLFBHKTotCmRlc2N1ZW50byhOLFUsVixQUkVDSU9ERVNDVUVOVE8pLApjYWxjdWxhZG9yaXZhKFBSRUNJT0RFU0NVRU5UTyxJVixUT1RBTElWQSksCnB1bnRvcyhQLFZQLFBSRUNJT0RFU0NVRU5UTyxQUkVDSU9ERVNDVUVOVE9QVU5UT1MpLApjb3JyZWN0b3IoUFJFQ0lPREVTQ1VFTlRPUFVOVE9TLENPUlJFQ0NJT04pLApQRyBpcyBDT1JSRUNDSU9OK1RPVEFMSVZBIC4KOi0gaW5pdGlhbGl6YXRpb24obWFpbikuCm1haW46LQogIHJlYWQoTikscmVhZChWKSxyZWFkKFUpLHJlYWQoSVYpLHJlYWQoUCkscmVhZChWUCksY29tcHJhKE4sVixVLElWLFAsVlAsUEcpLAogIHdyaXRlKFBHKSwKICBoYWl0IC4KOi1tYWluIC4=