Anonymous - 2008-05-02

I'm trying to get a list of the back chaining rules cyc might use to prove/disprove a query. I'm using the java API method, getBackchainRules, but am having no luck so far. The method takes a predicate (which, oddly, must be a CycConstant rather than a CycList) and a microtheory. So far I've tried a few different predicates (e.g. #$loves, #$borderOf, #$majorReligions) with tons of different microtheories but I always get back an empty list.

Any help would be greatly appreciated. Even if you don't know about the java API, if you know how to do this with CycL that would be great as well.