Friday, March 16, 2018

Logic programming example



Using the List Monad it's possible to rig up a basic logic program, where the bulk of the code simply asserts the shape of the answer rather than worrying about generating the solution space. The below code is a full solution to a relatively simple, but classic, logic puzzle.

No comments:

Appboy/appboy-fb-messenger-bot

Building a Messenger bot for Appboy About Messenger bots Introduction On April 12, 2016, Facebook launched its Messenger Platform, intende...