2008/5/28 Joachim Schimpf (Independent Contractor) <jschimpf_at_...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_at_...116... ] [ WLOG Solutions http://wlogsolutions.com ]Received on Wed May 28 2008 - 05:10:30 CEST
This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST