Исходное сообщение
"Компания Google анонсировала язык программирования Dart 2" Отправлено Аноним84701, 25-Фев-18 23:16
> Ах, и О ЧУДО! Оно после этого вывело 0.2! Вот это да! > Как же так получилось?! :P Оно вообще-то выводит 0.1999... ;) ?- X is (1 rdiv 25) ^ rational(0.5), Y is rational(X), Z is rationalize(X), format('X is ~50f~n',[X]). X is 0.19999999999999998334665463062265189364552497863770 X = 0.19999999999999998, Y = 7205759403792793 rdiv 36028797018963968, Z = 1 rdiv 5 Хотя, дело скорее в  отсутствии cоотв. правил/движка. В сикстусе года 2009-2010 constraint solver с рациональщиной вроде очень даже помощнее были, но то было давно и уже почти не правда (не помню точно, может из серии "солнце ярче и трава зеленее"). Но в принципе, неплохо для ЯП начала 70ых (ну хорошо, для дополнений к стд. библиоткам годов 95'ых и честно перетыренной в YAP/SWI  _идеи_ из мерзко-проприетарного SICStusa :) ). А насчет подтасовок -- Fractions в питон добавили в 2.6, да и подгружать его нужно ... и вообще, как можно быть против теплого и лампового Пролога, занимая сторону холодной и склизкой змеюки?! o_O