Title: Logic Programming
Subjects: Logic programming, Formal methods (Computer science)