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:

How to build a Hugo website in AWS Lambda and deploy it to S3

This tutorial explains how to run Hugo in AWS Lambda and deploy a static website to Amazon S3. Running Hugo in AWS Lambda can be useful if...