> Ах, и О ЧУДО! Оно после этого вывело 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