I want a few explanations : why begin the file with a :-module (I'm sure I'm idiot but....)
That is the way to define that a file is a module, i.e., it has a well-defined interface which should not be violated. Using modules bring other good things, such as support for safer incremental compilation and compile-time cathing of more errors. There is more information on this matter in the paper
D. Cabeza, M. Hermenegildo. A New Module System for Prolog. International Conference on Computational Logic, CL2000, LNAI, Num. 1861, pages 131-148, Springer-Verlag, July 2000.
available from
http://www.clip.dia.fi.upm.es/clippubsbyyear/clippubsbyyear.html
What is a regtype, I have read the html doc but don't understand at all
It stands for "regular type", a class of data types. If you search "regular type" (quotes included) you will surely get a lot of answers. In short, regular types are those based on regular expressions.
Why :-export(queens/2) ?
Because you want it to be visible outside the module.
I see in test prédicate, it begin with tk_new([name('Ciao+TclTk - Queens')],I), is I a regtypes ? For the tclinterpreter
No, I *is* the Tcl/Tk interpreter (or, rather, a representation thereof which has information enough as to access to the "real thing" --- the process running the interpreter).
MCL
________________________________________________________________________ This is a signature virus. Add me to your signature and help me to live ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------