Package: yap Version: 6.2.2-2 Hello,
Not a bug per se but i wonder why yap isn't build with gmp support? YAP 6.2.2 (x86_64-linux): Sat Nov 23 17:51:47 UTC 2013 ?- current_prolog_flag(bounded, X). X = true This makes several things unuseable like rational support and some clpfd programs: ?- rationalize(0.25). no % Using CLP(FD) with bounded arithmetic may yield wrong results. ?- fib(200,F). F = -1123705814761610347 on a sidenote i also get this error when loading files from the command line: yap -l fitclpfd.pl % Restoring file /usr/lib/Yap/startup.yss YAP 6.2.2 (x86_64-linux): Sat Nov 23 17:51:47 UTC 2013 dlopen of /usr/lib/Yap/pl-tai.so failed with error libplstream.so: cannot open shared object file: No such file or directory :- system:load_foreign_files([pl-tai],[],install) failed. Kind regards, Axel
