Tümdengelimli bir veritabanı, bir dizi iyi tanımlanmış kural ve gerçeğe dayanarak verileri hakkında sonuç çıkarabilen bir veritabanı sistemidir. Bu tür veritabanı, mantıksal programlamayı ilişkisel veritabanı yönetim sistemleriyle birleştirmek için geliştirilmiştir. Genellikle, kuralları ve gerçekleri tanımlamak için kullanılan dil, mantıksal programlama dili olan Datalog'dur.

Veri, Datalog, Programlama terimleri