Forward assertion

Home / Glossary / Forward assertion

“Forward” is one of the possible values for direction that an assertion may have. If an assertion is :forward, it may participate in both forward and backward inference.

email

7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA