Тогда могу подкинуть интересную идею.
Есть такая вещь как RDF и SPARQL. Это из области Semantic Web и все такие дела.
(хотя собственно Web тут мало как связан)
Вот на этом деле реально есть работающие СУБД, и это — реальные технологии "логических" БД.
Можешь даже сравнить это всё с Datalog и сделать выводы, что реально работает, а что нет.
(проект DBPedia, опять-таки).