Introduction to
Logic Programming
What
versus
How
 

Exercise 12.1 - Reactive Systems


Consider the Buttons and Lights World described in the chapter but in this version assume there is a fourth button d that toggles all of the lights at once. Write an operation definition for d.