From srsilva@din.uem.br Mon May 21 21:53:45 2001
Received: from mail-mx.intranetparana.br (mail-mx.intranetparana.br [200.201.0.166])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f4LJrh328955
	for <prolog@swi.psy.uva.nl>; Mon, 21 May 2001 21:53:44 +0200 (MET DST)
Received: from marte-mx.internetparana.br (marte-mx.internetparana.br [200.201.0.6])
	by mail-mx.intranetparana.br (8.11.1/8.8.7) with ESMTP id f4LKsmD17878
	for <prolog@swi.psy.uva.nl>; Mon, 21 May 2001 16:54:48 -0400
Received: from marte-mx.internetparana.br (localhost [127.0.0.1]) by marte-mx.internetparana.br with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2653.13)
	id LB7DSXCD; Mon, 21 May 2001 16:53:32 -0300
Received: from bambu.din.uem.br (bambu.din.uem.br [200.201.30.11])
	by zeus-cwb.intranetparana.br (8.9.3 (PHNE_18979)/8.9.3) with ESMTP id QAA00525
	for <prolog@swi.psy.uva.nl>; Mon, 21 May 2001 16:52:54 -0300 (SAT)
Received: from cacau09c1 ([200.201.30.178])
	by bambu.din.uem.br (8.11.1/8.8.7) with ESMTP id f4LJp6Q11670
	for <prolog@swi.psy.uva.nl>; Mon, 21 May 2001 16:51:06 -0300
Reply-To: <srsilva@din.uem.br>
From: "Sergio R. P. da Silva" <srsilva@din.uem.br>
To: <prolog@swi.psy.uva.nl>
Date: Mon, 21 May 2001 16:53:07 -0300
Message-ID: <AIEFJNHLCEPNEBEBCMLKOEOECDAA.srsilva@din.uem.br>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2911.0)
Importance: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400
Subject: [SWIPL] A help with the use of the module predicate.

Hi all,

I'm trying to run the programs that come with the book "Representation and
Inference for Natural Language" from Patrick Blackburn and Johan Bos
(http://www.comsem.org/
But I can't make it work since the operators defined in the module described
below are not exported for the mainLambda.pl module.
If I insert the code directly in the mainLambda file everything works fine,
ie., the operators get exported to the other module as it needs to be.

Can anybody ell me if this is a problem with the code or with the module
system behavior?

Thank you very much in advance.

Cheers,

Sergio Silva.

/*************************************************************************
         name: comsemOperators.pl
 *************************************************************************/
:- module(comsemOperators,[]).
/*========================================================================
   Operator Definitions
========================================================================*/
:- op(950,yfx,@).         % application
:- op(900,yfx,'<>').      % bin impl
:- op(900,yfx,>).         % implication
:- op(850,yfx,v).         % disjunction
:- op(800,yfx,&).         % conjunction
:- op(750, fy,~).         % negation

/*************************************************************************
         name: mainLambda.pl (Chapter 2)
 *************************************************************************/
:- module(mainLambda,[parse/0]).

:- use_module(readLine,[readLine/1]),
   use_module(comsemOperators),
   use_module(comsemPredicates,[printRepresentation/1,compose/3]),
   use_module(betaConversion,[betaConvert/2]).

:- [englishGrammar], [englishLexicon], [semMacrosLambda].
/*========================================================================
   Driver Predicate
========================================================================*/
parse:-
   readLine(Sentence),
   s(Formula,Sentence,[]),
   betaConvert(Formula,Converted),
   printRepresentation(Converted).


