summaryrefslogtreecommitdiff
path: root/prolog/problems/clp_r/megabytes_2/en.py
blob: cb355f134340ea5c78950e5d488bf21cbf73c76c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
# coding=utf-8

id = 160
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 = {}