From lourens@cs.vu.nl Thu Apr 19 17:35:55 2001
Received: from fluit.cs.vu.nl (root@fluit.cs.vu.nl [192.31.231.67])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f3JFZt318055
	for <prolog@swi.psy.uva.nl>; Thu, 19 Apr 2001 17:35:55 +0200 (MET DST)
Received: from localhost by fluit.cs.vu.nl with esmtp
	(Smail #65) id m14qGTK-001J00C; Thu, 19 Apr 2001 17:35 +0200
Date: Thu, 19 Apr 2001 17:35:54 +0200 (CEST)
From: Lourens van der Meij <lourens@cs.vu.nl>
To: prolog@swi.psy.uva.nl
Subject: Re:  [SWIPL] help!
In-Reply-To: <200104190437.QAA86505@atlas.otago.ac.nz>
Message-ID: <Pine.GSO.4.21.0104191700300.1377-100000@fluit.cs.vu.nl>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII



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

