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