Prolog - Re: List cons functor (was Re: The meaning of module overriding syntax mod:goal in di

You are viewing an archived Text-only version of the thread. To view this thread in it's original format and/or if you want to reply to this thread please [click here]

Author

Re: List cons functor (was Re: The meaning of module overriding syntax mod:goal in di

Zoltan Somogyi

2005-03-07, 4:04 pm

>On 2005-03-04, Julien Fischer <juliensf@cs.mu.OZ.AU> wrote:
> No, `:' will still be there as a module name separator in 0.12,
> although the compiler will now warn you about it being deprecated.
> It will be gone in the version after 0.12.

Jan Wielemaker <jan@ct.xs4all.nl> writes:
>What I do not yet understand is why the one use should exclude the other.
>In what situation does it become ambiguous?

Consider this code:

p(In, Out) :-
q(In, a.b, Out).

Is the second argument of q the constant function symbol "a" from type "b",
type qualified because it also appears in other types, or is it the
predicate "b" from module "a", being passed as a higher order constant.

If type qualification is indicated by ":", there is no ambiguity.

Zoltan Somogyi <zs@cs.mu.OZ.AU> http://www.cs.mu.oz.au/~zs/
Department of Computer Science and Software Engineering, Univ. of Melbourne

Sponsored Links