Re: [eclipse-clp-users] Calling predicates from a module using Java

From: Wit Jakuczun <wit.jakuczun_at_...6...>
Date: Wed, 28 May 2008 14:10:28 +0200
2008/5/28 Joachim Schimpf (Independent Contractor) <jschimpf@...5...>:

>> Why 1) throws an exception and 2) does not? I would like
>> to have a predicate defining variable, that is of arity 1 ( like test(V)  ).
>>
>
>
> I supose this is because the CompoundTermImpl constructor with 2 arguments
> is overloaded as
>
> public CompoundTermImpl(java.lang.String functor, java.lang.Object[] args)
> public CompoundTermImpl(java.lang.String functor, java.lang.Object a1)
>
> and giving a typeless null value for the 2nd argument makes it ambiguous.
>
>
That's right! Thank you very much!

Best regards
[ Wit Jakuczun w.jakuczun@...116... ]
[ WLOG Solutions http://wlogsolutions.com   ]
Received on Wed May 28 2008 - 05:10:30 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST