Kullanıcı kural kümesini devlet ve sorgular veya bu kuralların sorunları ifade etmek için izin veren bir nonprocedural dili.