Different results in swi-prolog and yap...