spiro@a.gp.cs.cmu.edu (Spiro Michaylov) (03/14/90)
I'm looking for pointers to information about the conceptual, design and practical aspects of module facilities in Prolog and other logic programming languages. I need descriptions of module systems, discussions of their relative merits, problems involved in their use or implementation, etc. Also, I'm interested in the options that the standardization committees are looking at, and why. I already have quite a lot of information on these aspects of Lambda Prolog, but would still be interested in any criticisms of the system used there. Please send mail to spiro@cs.cmu.edu, and I'll summarize. Thanks in advance, Spiro Michaylov School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213, U.S.A. spiro@cs.cmu.edu +1 (412) 268 3042
pr@sic.fctunl.rccn.pt (Paulo Rosado) (03/15/90)
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