From tob@world.std.com Tue May 22 23:36:08 2001
Received: from localhost.std.com (ppp0b173.std.com [208.192.101.173])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f4MLa5317744;
	Tue, 22 May 2001 23:36:06 +0200 (MET DST)
Received: (from Tehom@localhost)
	by localhost.std.com (8.9.3/8.9.3) id RAA00834;
	Tue, 22 May 2001 17:32:23 -0400
X-Authentication-Warning: localhost.std.com: Tehom set sender to tob@world.std.com using -f
To: Jan Wielemaker <jan@swi.psy.uva.nl>
Cc: <srsilva@din.uem.br>, prolog-request@swi.psy.uva.nl,
   <prolog@swi.psy.uva.nl>
Subject: Re: [SWIPL] A help with the use of the module predicate.
References: <200105221024.f4MAODm03373@gollem.swi.psy.uva.nl>
From: Tom Breton <tob@world.std.com>
Date: 22 May 2001 13:21:21 -0400
In-Reply-To: Jan Wielemaker's message of "Tue, 22 May 2001 12:24:13 +0200"
Message-ID: <m34rud1er2.fsf@world.std.com>
User-Agent: Gnus/5.0802 (Gnus v5.8.2) Emacs/20.4
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Lines: 36

Jan Wielemaker <jan@swi.psy.uva.nl> writes:

> > "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)
> 	).

Yeah, that's better.  I had barely started Prolog when I wrote that.
I actually first got SWI for that purpose.

> > For some reason EnglishLexicon needed to be a module, so I added:
> 
> Anything more specific on `some reason'?

It's been a while, so I forget exactly why it was neccessary.  Sorry.
I thaut I wrote it down, but I can't seem to find it.  

ISTR it had something to do with being included in other modules.
Like, it was included in more than 1 module, which each made it part
of themselves, and so it appeared to be 2 different predicates and
caused some sort of clash?  My memory of why is quite hazy.


-- 
Tom Breton, http://world.std.com/~tob

