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,CORRECION 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 .
ZGVzY3VlbnRvKE4sVSxWLFBSRUNJT0RFU0NVRU5UTyk6LSBOPlUsUFJFQ0lPREVTQ1VFTlRPIGlzIChOKlYrNzApLzEwMCAuCmRlc2N1ZW50byhOLF8sVixQUkVDSU9ERVNDVUVOVE8pOi0gUFJFQ0lPREVTQ1VFTlRPIGlzIChOKlYqOTApLzEwMCAuCmNhbGN1bGFkb3JpdmEoUFJFQ0lPREVTQ1VFTlRPLElWLFRPVEFMSVZBIGlzIChQUkVDSU9ERVNDVUVOVE8qSVYpLzEwMCAuCnB1bnRvcyhQLFZQLFBSRUNJT0RFU0NVRU5UTyxQUkVDSU9ERVNDVUVOVE9QVU5UT1MpOi0gUFJFQ0lPREVTQ1VFTlRPUFVOVE9TIGlzIFBSRUNJT0RFU0NVRU5UTy0oUCpWUCkgLgpjb3JyZWN0b3IoUFJFQ0lPREVTQ1VFTlRPUFVOVE9TLENPUlJFQ0NJT04pOi0gUFJFQ0lPREVTQ1VFTlRPUFVOVE9TPDAsQ09SUkVDSU9OIGlzIDAgLgpjb3JyZWN0b3IoUFJFQ0lPREVTQ1VFTlRPUFVOVE9TLENPUlJFQ0NJT04pOi1DT1JSRUNDSU9OIGlzIFBSRUNJT0RFU0NVRU5UT1BVTlRPUyAuCgpjb21wcmEoTixWLFUsSVYsUCxWUCxQRyk6LQpkZXNjdWVudG8oTixVLFYsUFJFQ0lPREVTQ1VFTlRPKSwKY2FsY3VsYWRvcml2YShQUkVDSU9ERVNDVUVOVE8sSVYsVE9UQUxJVkEpLApwdW50b3MoUCxWUCxQUkVDSU9ERVNDVUVOVE8sUFJFQ0lPREVTQ1VFTlRPUFVOVE9TKSwKY29ycmVjdG9yKFBSRUNJT0RFU0NVRU5UT1BVTlRPUyxDT1JSRUNDSU9OKSwKUEcgaXMgQ09SUkVDQ0lPTitUT1RBTElWQSAuCjotIGluaXRpYWxpemF0aW9uKG1haW4pLgptYWluOi0KICByZWFkKE4pLHJlYWQoVikscmVhZChVKSxyZWFkKElWKSxyZWFkKFApLHJlYWQoVlApLGNvbXByYShOLFYsVSxJVixQLFZQLFBHKSwKICB3cml0ZShQRyksCiAgaGFpdCAuCjotbWFpbiAu