Bio

Annie is a contributor to the SWI-Prolog language, and author of many tutorials, videos, and conference talks about SWI-Prolog.

---

Using Reasoning to Solve Hard Problems (Lab)
by Anne Ogborn

OO languages are oriented towards 'horizontal' problems - where each small part is easy, but sheer scale causes the difficulties. What do you do when you have a bounded domain that's algorithmically hard?

Reasoning is one approach.

In this workshop you'll work hands-on with some Prolog examples addressing problems that sound difficult at first, like recognizing a drawing and allocating limited resources.