[rules-users] npl: a novel rules-based logic programming environment