NARS 4.3.1 (August 16, 2006)
NARS is a Java applet demonstrating some of the implemented NARS functionalities. You can either directly run it over the Internet, or download a zip file (91K, containing all the NARS demo files), then run NARS.html in the file in your local disk with a browser or appletviewer.
To see how NARS works, it is strongly recommended to start with the user's guide. Two example files are available, with one shows single inference steps, and the other multi-step inference processes. After trying them, you can modify them, as well as your make your own examples.
The source code of this program is not available for the public at the current time.
NAL 1.0 (August 24, 2004)
NAL is a Prolog program that implements all the inference rules in NAL 1-6, without memory structure and control mechanism for multiple-step inference. The source code comes with a user's guide and examples. The examples are tested with SWI-Prolog.
NAL truth-value functions (June 25, 2007)
All the NAL truth-value functions are collected in a spreadsheet file NAL-TruthFunctions.xls.
The file contains three tables showing the relations among uncertainty measurements, the truth-value functions of the one-premise rules, and the truth-value functions of the two-premise rules, respectively. In each table, the input values can be modified, and the outputs of the functions change accordingly. The system parameters used in the functions can also be adjusted.