Title: Logic as a database language