John O'Gorman writes:
The documentation comments in file mycin_doc.pl says to use as first statememt in a file: :-mycin(MyDatabaseName).
Is this right? If is the first statement (without a use_module(library(mycin))) or use_module(library(assertion)), then how can the :-mycin statement work?
The mycin library is a package (also assertions). The use of packages can be declared in three ways:
:- use_package(mycin). :- module(MyModule,[...],[mycin]). :- mycin(MyModule).
If running at the top level, do you call the :-mycin(X) as a predicate? ?-mycin(C).
As mentioned, :- mycin(MyModule). is just a way of declaring the use of the mycin package within a file. It is not a call to a predicate. So, in fact, there is no much use in calling it from the top level.
Paco Bueno
============================================================================== 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/ -----------------------------------------------------------------------------