predicates for querying the constraint representation, json_prolog client
added query for reading constraint properties to test client