This is a great introductory article, I heartily recommend it. I read this myself few years ago, got very excited, and had a go at writing a program that could

This is a great introductory article, I heartily recommend it. I read this myself few years ago, got very excited, and had a go at writing a program that could automatically perform the derivation from Nielsen's worked example: https://github.com/fcostin/d_separation https://github.com/fcostin/d_separation This was really interesting to work on, but I guess I became disinterested in it after I got it to crudely work. Be aware that the quality of the code, documentation, and the entire idea of the "proof-search" aspect of it is probably not very good.