For anyone interested in playing around with constraint logic programming I can highly recommend Eclipse (not to be confused with the IDE): <a href="http:&#x2F;&#x2F;eclipseclp.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;eclipseclp.org&#x2F;</a><p>If you&#x27;re looking for ideas, classical examples are work sheduling (nurses), layout planning for production facilities or stuff like soduko (I also did a poker hand ranker once)<p>Edit: they also have a good self learning course on their site: <a href="http:&#x2F;&#x2F;4c.ucc.ie&#x2F;~hsimonis&#x2F;ELearning&#x2F;index.htm" rel="nofollow">http:&#x2F;&#x2F;4c.ucc.ie&#x2F;~hsimonis&#x2F;ELearning&#x2F;index.htm</a>