Definisi pengguna tertulis dari sebuah program aplikasi, catatan tabel, atau. Sebuah Prolog digunakan untuk dokumentasi.