Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!cs.utexas.edu!uunet!mcsun!inesc!unl!news
From: pr@sic.fctunl.rccn.pt (Paulo Rosado)
Newsgroups: comp.lang.prolog
Subject: Re:  Module systems (request for info)
Message-ID: <1990Mar15.142711.16288@fctunl.rccn.pt>
Date: 15 Mar 90 14:27:11 GMT
Sender: news@fctunl.rccn.pt (USENET News System)
Reply-To: pr@sic.fctunl.rccn.pt (Paulo Rosado)
Organization: Universidade Nova de Lisboa, PORTUGAL
Lines: 22

Keywor


	Contextual Logic Programming introduces a natural modular concept
to Prolog. References can be found in the Proceedings of the Sixth
International
Conference on Logic Programming. 
	Description and semantics can be found in
'Contextual Logic Programming' [Monteiro & Porto] and implementations issues in
'The design of an abstract machine for efficient implementation of Contexts in
Logic programming' [Lamma, Mello & Natali].


------------
paulo rosado		    	  | BITNET/Internet: pr@fctunl.rccn.pt
				  |
Centro de Inteligencia Artificial | UUCP: pr@unl.uucp
Uninova                           | ARPA: pr%fctunl.rccn.pt@mitvma.mit.edu
Fac. de Ciencias e Tecnologia-UNL | PSI/VMS: PSI%(+2680)05010310::HOST::PR
2825 Monte de Caparica            | Fax:   (+351) (1) 295 4461
PORTUGAL                          | Sound: (+351) (1) 295 4464 ext. 1360