8: Logic programming
Begin
Time:
Number of slides: 0