私は以下のようにswi-prologをインストールしました:
$./configure --prefix=/home/***/swi-prolog/ --enable-gmp
$gmake && gmake check && gmake install
however, it still reports no GMP syupport:
?- random(33).
Warning: This version of SWI-Prolog is not compiled with GMP support.
Warning: Floating point random operations are not supported.
ERROR: is/2: Arithmetic: `random_float/0' is not a functionenter code here
$find /usr/local/lib -name "libgmp*"
/usr/local/lib/libgmp.so.10
/usr/local/lib/libgmp.so
/usr/local/lib/libgmp.la
/usr/local/lib/libgmpxx.so.6
/usr/local/lib/libgmpxx.so
/usr/local/lib/libgmpxx.la
/usr/local/lib/libgmp.a
/usr/local/lib/libgmpxx.a
私はFreeBSDを使用しており、swi-prologは安定版リリースhttp://www.swi-prolog.org/download/stable/src/pl-6.2.6.tar.gzです。
どんな提案でも大歓迎です!