variable fonction

[Gilles Dégottex]

Hi all,

        I'm new so sorry for any usage error, or newbie question.

        gprolog doesn't support function with variable name ? like:

                eval( A(B, C), R) :- A \= /, eval(B,Be), eval(C,Ce), R is A(Be, 
Ce).

        I know win-prolog is able to compile that, but I dont found any linux 
compiler to do it. maybe a syntax tips ? compiler leak ?


tanks for all

Gilles Dégottex