Bahasa nonprocedural yang memungkinkan pengguna untuk menyatakan seperangkat aturan dan untuk mengekspresikan pertanyaan atau masalah yang menggunakan aturan-aturan ini.