search

opennars / OpenNARS-for-Applications

General reasoning component for applications based on NARS theory.
https://cis.temple.edu/~pwang/NARS-Intro.html
MIT License
91 stars 40 forks source link

[small-fix] `NAR`: Unification of inconsistent argument name in `NAR_AddOperation` #284

Closed ARCJ137442 closed 1 month ago

ARCJ137442 commented 1 month ago

Names unified: atomname | term_name -> operator_name

In the function NAR_AddOperation, here ONA actually adds a new operator whose name is required an atomic term (such like ^left to support compound operation <({SELF} * ARG) --> ^left>). Depending on the actual usage of the parameter, perhaps it would be more accurate to unify the name to operator_name?

patham9 commented 1 month ago

Especially since it can't be an arbitrary term, it can only be an atom, and has to furthermore start with the character ^