Title: From modal logic to deductive databases
Subjects: Logic programming, Artificial intelligence, Data processing, Logic