silly core.logic has poor performance with membero
changed some predicates to be more performant