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)
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.
Join the mailing list
for updates about the DDD Europe Conference and workshops