Subject: Re: [SWIPL] help!

From: Lourens van der Meij <[email-masked]>
Date: Thu, 19 Apr 2001 17:35:54 +0200 (CEST)

On Thu, 19 Apr 2001, Richard A. O'Keefe wrote:

> There is no 'domain' or 'predicates' section in SWI Prolog.
> That's PDC Prolog, formerly Turbo Prolog.  Edinburgh/ISO Prologs do
> not use compile-time types (although there is the DEC-10 Prolog type
> checker floating around).
>

 Is anyone using this typechecker ? Could you comment on its usefulness.

 Lourens