Implementing Logic Programming

I just think it’s neat!

Read in full here: