[Yap-users] Problem encountered with functor

[Jacques G. <gre...@gm...>]

Hello,

I am building a large application  ( http://geometrix.free.fr  a Geometry
Theorem Prover ) primarily written in Freepascal (Lazarus) and Swi-prolog.

I have made extensive tests with Yap. It is indeed much faster. I have
managed to mix up all 3 languages now and it all looks quite promissing.

I have met this problem with YAP 6.3.3 (i686-mingw32) downloaded from the
official site :

asserta(test([mode(assiste)])).
yes

listing(test).
teste([(mode assiste)]).
yes

Whereas :

asserta(test([foo(assiste)])).
yes

listing(test).
teste([(foo(assiste)]).
yes

Best regards
Jacques Gressier