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.

Please install SWI-Prolog before the workshop.

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.