Paco

Thanks. 1 step forward - but still no go!

when I try the sequence (in ...mycin/examples): ciao ?-use_module(horse_riding). yes ?-horse_riding(mycin(winner(C),P). {ERROR: horse_riding:weather/1 - undefined predicate}

The above line is repeated 9 times.

Similarly if I try: ?-use_module(age).

I get a message {compiling /opt/ciao/...../examples/age.pl WARNING: (lns 11-12_ Predicate age/2 undefined in source

--- above line 4 times ---- }

When I try: ?-use_module(library(mycin)). {Reading /usr/lib/.....mycin/mycin.itf ERROR: Source used as module without module declaration }

Should I do some sort of recompile? (perhaps rm the .po .itf files, and run make from high up in the tree).

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?

If running at the top level, do you call the :-mycin(X) as a predicate? ?-mycin(C). Also what does the mycin directive do? Is it meant to called with an atom :-mycin(john). or a var :-mycin(John). ???

John O'Gorman Francisco Bueno Carrillo wrote:

John,

Here is the promised update. You have to replace the file contrib/mycin/mycin_tr.pl in your Ciao distribution by the following

code.

Best,

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/ -----------------------------------------------------------------------------