From SubL API:
function FI-ASSERT : (formula mt &optional strength direction)
Assert the FORMULA in the specified MT. STRENGTH is :default or :monotonic. DIRECTION is :forward or :backward. GAF assertion direction defaults to :forward, and rule assertion direction defaults to :backward. Return T if there was no error. Single value returned satisfies BOOLEANP.
BTW the Navicyc (https://sourceforge.net/projects/opencyc/forums/forum/85727/topic/3921218) project has a build in support for SubL documentation.
< Previous |
Add a Reply
This forum does not allow anonymous participation.
Log in to add a reply. Not registered? Create an account to participate and receive email updates when replies are posted to this topic.