Fix, because oh prolog is so smart language