<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <meta content="text/html;charset=ISO-8859-15" http-equiv="Content-Type"> <title></title> </head> <body bgcolor="#ffffff" text="#000000"> <blockquote cite="midPine.GSO.4.61.0701172043500.22011@mundula.csse.unimelb.edu.au" type="cite"> The usual technique is to create a package, say mercury_tcltk, and the overall library will named that. By wrapper libraries above you are presumably referring to the actual module names? </blockquote> Creating libraries is fortunately understood, if you don not count finesses... A question I am currenty busy with are configurations, especially cget: At the moment I did not make too many changes at the config representation, and I wish to find a way to get this done at state of art of the mode system. As the type mtk.config representats a key by the functor name and the value by the contents of the functor, I would like to ask, whether a mode arrangement is possible which can do a request with a single mtk.config variable, e.g., :- type conf ---> height(int); width(int); title(string). :-inst measure ---> height(ground); width(ground). <pre>%% one arg query: :-pred isHeight(int::out) is nondet. isHeight(H) :- isMeasure(height(H)). :-pred isHeight(int::out) is nondet. isMeasure(Conf) :- Conf = height(10). isMeasure(Conf) :- Conf = width(4).</pre> Such simple examples work fine - is it possible to achieve this with I/O predicates, `det' determinism, i.e. everything required for Tk configuration management, too? Or would you rather advise me to save my time and begin coding straightforwardly? Maybe you even have a different proposal? Seeing forward to settling this issue and beginning to put all together, Nick </body> </html>