Lesson 25: Logic languages