predicates
ppp :(any AnyValue).
clauses
ppp(AnyValue):-ifInt= tryConvert(integer,AnyValue)then% AnyValue is an integer, IntelseifStr= tryConvert(string,AnyValue)then% AnyValue is a string, Strelseif ...
You should also notice that list like ["pony",4, fuzzy] does not exist in Visual Prolog. A list must have elements of the same type (any can be used, but any is not really the type you think it is).
My original goal was to avoid multiple declaration of predicates. The ellipsis looked nice but I had seen it only in format(...) and write(...) statements.
I asked for an example of high-level source using the ellipsis.
I thought that the domain any is an intermediate step.
If I understand well Thomas's answer any is a separated domain like var in Visual Basic but the type conversion of Prolog is much stricter than in that language.
I should forget ellipsis and any.