Using Reasoning to Solve Hard Problems

Thursday afternoon 14:00 - 16:00 CET (UTC+1)


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.

Practical information

Please install SWI-Prolog before the workshop.

About Anne Ogborn

Logic Programmer - SWI-Prolog Solutions Twitter Blog Company Website

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