Title: Computer Logic Experiments
Subjects: Logic programming, Computer science