I'm trying to port some Prolog code I wrote some time ago to Ciao and I'm having trouble figuring out the right way to use the Ciao module system. I have some path searching modules which have the following interface; % Requires: % successor( Given state, Successor state ). % Provides: % path( Given start state, Given goal state, Path from start to goal ).
That is, they import successor/2 from the domain code (the client module) and provide path/3 back.
I'm not figuring out how to write these mutually dependent modules. What am I missing?
Thanks in advance,
_Greg