Actually I did too. One that could solve most of the stuff automatically actually ... it even went as far as "due to this number here, there must be two mines in these three fields so the 2 over here will have both its mines there and therefore this field is safe, click" and then to one more level. All in Prolog. It was an interesting exercise. Shame I lost the code :-(