prolog op: numeric queries work