Title: Logic, algebra, and databases
Subjects: Algebra, Computer programming, Database management, Prolog (Computer program language), Symbolic and mathematical Logic