Path: utzoo!attcan!uunet!ogicse!uwm.edu!cs.utexas.edu!tut.cis.ohio-state.edu!pt.cs.cmu.edu!a.gp.cs.cmu.edu!spiro
From: spiro@a.gp.cs.cmu.edu (Spiro Michaylov)
Newsgroups: comp.lang.prolog
Subject: Module systems (request for info)
Message-ID: <8409@pt.cs.cmu.edu>
Date: 13 Mar 90 17:51:52 GMT
Organization: Carnegie-Mellon University, CS/RI
Lines: 22


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