prolog, idea how prolog intern nars could work