unified NARS and Prolog at the Term level