now json exports json2term/2 predicate