Adaptive Logic And Neural Net version of NARS - View it on GitHub