A Question about Logic & Programming

Q: Is a logical description of a problem actually a program?

Previous slide

Next slide

Back to first slide

View graphic version