Re: Prolog module system

On Thu, 07 Jun 2007 09:08:42 +0000, Paulo Moura wrote:

I will end this post with a Prolog dirty secret: there is not support
for abstract data types (ADTs) in current module systems.



Let me start this post with a Prolog dirty secret:

there is no support for types in Prolog



I think it would make a lot of sense to give types to Prolog
before giving it abstract data types.

Cheers

Bart Demoen


.

Relevant Pages

  • Re: Prolog module system
    ... for abstract data types (ADTs) in current module systems. ... Let me start this post with a Prolog dirty secret: ... In the context of module systems (which is the topic of this thread ...
    (comp.lang.prolog)
  • Re: Prolog module system
    ... for abstract data types in current module systems. ... Let me start this post with a Prolog dirty secret: ... there is no support for types in Prolog ... Is it difficult to add type semantics? ...
    (comp.lang.prolog)