logic programming

I've been thinking about logic programming again. At some point a couple of weeks ago, there was a spark and before I knew it I was scribbling away notes on a