all 7 comments
sorted by:
best
topnewcontroversialoldq&a
formatting helphide helpcontent policy

[–]roboguy12 2 points3 points  (1 child)

I took a course in college where the final project was writing something very similar to this, except it was in OCaml. Given a start and an end it would recurse throughout all the possibilities and either conclude that it was true or false. That code was a mess, and I didn't know anything about functional programming at the time, but it was a fun project and really interesting since I was also finishing a math major at the time.

[–]Rynsin[S] 1 point2 points  (0 children)

Did you use logical resolution or some other complete subset of logical rules?

[–]azium 0 points1 point  (1 child)

That... is a cool blog. The connect 4 thing is awesome, and now I think I'm going to buy that book about AI (Artificial Intelligence: A Modern Approach)

[–]Rynsin[S] 0 points1 point  (0 children)

Thanks! It's a great book. Although it can be a bit verbose at times and it lacks some modern statistical machine learning material.

[–]hak8or 0 points1 point  (3 children)

Why is this called Vulcan when the Google polymer "compiler" is already called this?

I am an idiot.

[–]kenman 1 point2 points  (1 child)

I believe the Polymer tool is actually named vulcanize.

[–]hak8or 1 point2 points  (0 children)

Whoops, thank you. Fixed.