NACE and ONA

[kripper]

Hi @patham9,

Can you please summarize your decision to base NACE on AIRIS instead of using ONA?

I'm trying to understand the differences between ONA and NACE/AIRIS and wonder if all efforts could be merged into one single project.

Please also check: berickcook/AIRIS_Public#3 (comment)

[patham9]

It has both ideas of AIRIS and of NARS and is combined with ONA in recent works to allow for declarative reasoning.