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 .
ZGVzY3VlbnRvKE4sVSxWLFBSRUNJT0RFU0NVRU5UTyk6LSBOPlUsUFJFQ0lPREVTQ1VFTlRPIGlzIChOKlYrNzApLzEwMCAuCmRlc2N1ZW50byhOLF8sVixQUkVDSU9ERVNDVUVOVE8pOi0gUFJFQ0lPREVTQ1VFTlRPIGlzIChOKlYqOTApLzEwMCAuCmNhbGN1bGFkb3JpdmEoUFJFQ0lPREVTQ1VFTlRPLElWKTotIFRPVEFMSVZBIGlzIChQUkVDSU9ERVNDVUVOVE8qSVYpLzEwMCAuCnB1bnRvcyhQLFZQLFBSRUNJT0RFU0NVRU5UTyxQUkVDSU9ERVNDVUVOVE9QVU5UT1MpOi0gUFJFQ0lPREVTQ1VFTlRPUFVOVE9TIGlzIFBSRUNJT0RFU0NVRU5UTy0oUCpWUCkgLgpjb3JyZWN0b3IoUFJFQ0lPREVTQ1VFTlRPUFVOVE9TLENPUlJFQ0NJT04pOi0gUFJFQ0lPREVTQ1VFTlRPUFVOVE9TPDAsQ09SUkVDQ0lPTiBpcyAwIC4KY29ycmVjdG9yKFBSRUNJT0RFU0NVRU5UT1BVTlRPUyxDT1JSRUNDSU9OKTotQ09SUkVDQ0lPTiBpcyBQUkVDSU9ERVNDVUVOVE9QVU5UT1MgLgoKY29tcHJhKE4sVixVLElWLFAsVlAsUEcpOi0KZGVzY3VlbnRvKE4sVSxWLFBSRUNJT0RFU0NVRU5UTyksCmNhbGN1bGFkb3JpdmEoUFJFQ0lPREVTQ1VFTlRPLElWLFRPVEFMSVZBKSwKcHVudG9zKFAsVlAsUFJFQ0lPREVTQ1VFTlRPLFBSRUNJT0RFU0NVRU5UT1BVTlRPUyksCmNvcnJlY3RvcihQUkVDSU9ERVNDVUVOVE9QVU5UT1MsQ09SUkVDQ0lPTiksClBHIGlzIENPUlJFQ0NJT04rVE9UQUxJVkEgLgo6LSBpbml0aWFsaXphdGlvbihtYWluKS4KbWFpbjotCiAgcmVhZChOKSxyZWFkKFYpLHJlYWQoVSkscmVhZChJVikscmVhZChQKSxyZWFkKFZQKSxjb21wcmEoTixWLFUsSVYsUCxWUCxQRyksCiAgd3JpdGUoUEcpLAogIGhhaXQgLgo6LW1haW4gLg==