Ah yes it is 2 pages, I've edited my comment above, believe it or not they actually have reduced it even further to roughly a page and a half. I was really inspired by the extreme dedication and passion it takes to look at a full logic programming implementation in 2 pages of code and say "nope, we can do better". Dan is definitely one of my all time heroes.