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