Subscribe

HL formula in SubL?

Add A Reply

You are viewing a single message from this topic. View all messages.

  1. apohllo

    2011-03-16 09:40:51 PDT
    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.
Jump To:
< Previous | 1 | Next >

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.