From: America H. <aho...@ic...> - 2008-07-10 21:39:40
|
Hi, How can I use the Java API to add a rule containing variables to a microtheory. There are many methods for asserting a GAF but I can't find a method for adding a rule. Any help would be greatly appreciated. Thanks, America. |