From jan@swi.psy.uva.nl Tue May 22 12:24:26 2001
Received: from gollem.swi.psy.uva.nl (root@gollem [145.18.152.30])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f4MAOP315157;
	Tue, 22 May 2001 12:24:25 +0200 (MET DST)
Received: (from jan@localhost)
	by gollem.swi.psy.uva.nl (8.11.2/8.11.2/SuSE Linux 8.11.1-0.5) id f4MAODm03373;
	Tue, 22 May 2001 12:24:13 +0200
Date: Tue, 22 May 2001 12:24:13 +0200
Message-Id: <200105221024.f4MAODm03373@gollem.swi.psy.uva.nl>
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Subject: Re: [SWIPL] A help with the use of the module predicate.
To: <srsilva@din.uem.br>, prolog-request@swi.psy.uva.nl
Phone: +31 - 20 - 525 6121
Cc: <prolog@swi.psy.uva.nl>

> "Sergio R. P. da Silva" <srsilva@din.uem.br> writes:
> You're in luck.  I got that working some time ago.  I had to make 3
> changes, but IIRC that wasn't one of them.
> 
> You need to define a rule Quintus has that SWI doesn't:
> 
>         simple(X) :- (atom(X) | number(X) | var(X) ), !.

Thanks.  I added simple to library(quintus) as:

simple(X) :-
	(   atomic(X)
	->  true
	;   var(X)
	).

> For some reason EnglishLexicon needed to be a module, so I added:

Anything more specific on `some reason'?

	--- Jan

