summaryrefslogtreecommitdiff
path: root/prolog/problems/clp_r/megabytes_2/en.py
blob: 8cba443587726cd0dec4ecea11e1bb6bed3d2afe (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
name = 'megabytes/2'
slug = 'convert mebibytes to megabytes'

description = '''\
<p>A <em>mega</em>byte is the SI unit meaning 10<sup>6</sup> bytes, while a <em>mebi</em>byte is the IEC unit meaning 2<sup>20</sup> bytes. Write the predicate <code>megabytes(SI, IEC)</code> that converts between the two using constraints.</p>
<pre>
?- megabytes(2, IEC).
  IEC = 1.9073486328125.
?- megabytes(SI, 2).
  SI = 2.097152.
</pre>'''

hint = {}