RE: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192

> (I think I'm also migrating it from prolog to python.)

Please first show us the Prolog, even if not interchangeable in RIF :-)


> > I can comment out the navigation links again if there is no
> > easy way for wikitr to ignore certain parts of the wiki source.
>
> I can make wikitr ignore parts, I guess, if you want to maintain those
> links.   How would you like to tell it which parts to ignore?

The current wiki sources use the following at the bottom of pages:

-----
Back: [...] --- Root: [...] --- Next: [...] 

So, one possibility would be do ignore the rest of a page after a
"-----" or a similar separator.


> Yeah, it's probably not worth changing it; I was just wondering if
there
> was a clever acronym or something.   :-)  
> [ "Core Offering Rule Exchange" ?   :-) ]

Fine with me. This is perhaps a new kind of acronym, since
CORE = "Core Offering Rule Exchange" is not an
(infinitely) recursive equation if read case-sensitive.

-- Harold