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):-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),
  write(PG),
  halt .
:-main .

ZGVzY3VlbnRvKE4sVSxWLFBSRUNJT0RFU0NVRU5UTyk6LSBOPlUsUFJFQ0lPREVTQ1VFTlRPIGlzIChOKlYqNzApLzEwMCAuCmRlc2N1ZW50byhOLF8sVixQUkVDSU9ERVNDVUVOVE8pOi0gUFJFQ0lPREVTQ1VFTlRPIGlzIChOKlYqOTApLzEwMCAuCmNhbGN1bGFkb3JpdmEoUFJFQ0lPREVTQ1VFTlRPLElWLFRPVEFMSVZBKTotVE9UQUxJVkEgaXMgKFBSRUNJT0RFU0NVRU5UTypJVikvMTAwIC4KcHVudG9zKFAsVlAsUFJFQ0lPREVTQ1VFTlRPLFBSRUNJT0RFU0NVRU5UT1BVTlRPUyk6LVBSRUNJT0RFU0NVRU5UT1BVTlRPUyBpcyBQUkVDSU9ERVNDVUVOVE8tKFAqVlApIC4KY29ycmVjdG9yKFBSRUNJT0RFU0NVRU5UT1BVTlRPUyxDT1JSRUNDSU9OKTotUFJFQ0lPREVTQ1VFTlRPUFVOVE9TPDAsQ09SUkVDQ0lPTiBpcyAwIC4KY29ycmVjdG9yKFBSRUNJT0RFU0NVRU5UT1BVTlRPUyxDT1JSRUNDSU9OKTotQ09SUkVDQ0lPTiBpcyBQUkVDSU9ERVNDVUVOVE9QVU5UT1MgLgoKY29tcHJhKE4sVixVLElWLFAsVlAsUEcpOi0KZGVzY3VlbnRvKE4sVSxWLFBSRUNJT0RFU0NVRU5UTyksCmNhbGN1bGFkb3JpdmEoUFJFQ0lPREVTQ1VFTlRPLElWLFRPVEFMSVZBKSwKcHVudG9zKFAsVlAsUFJFQ0lPREVTQ1VFTlRPLFBSRUNJT0RFU0NVRU5UT1BVTlRPUyksCmNvcnJlY3RvcihQUkVDSU9ERVNDVUVOVE9QVU5UT1MsQ09SUkVDQ0lPTiksClBHIGlzIENPUlJFQ0NJT04rVE9UQUxJVkEgLgo6LSBpbml0aWFsaXphdGlvbihtYWluKSAuCm1haW46LQogIHJlYWQoTikscmVhZChWKSxyZWFkKFUpLHJlYWQoSVYpLHJlYWQoUCkscmVhZChWUCksY29tcHJhKE4sVixVLElWLFAsVlAsUEcpLAogIHdyaXRlKFBHKSwKICBoYWx0IC4KOi1tYWluIC4=

MjAgLgoyMDAwIC4KNyAuCjE0IC4KMTAgLgoxNTAwIC4=

20 .
2000 .
7 .
14 .
10 .
1500 .