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

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